In appdir, what should the type of children be? - Theo's Typesafe Cult