nameLayoutF :: NameLayout -> F a b -> F a b data NameLayout = NL (MLNode LName) placeNL :: Placer -> [NameLayout] -> NameLayout spaceNL :: Spacer -> NameLayout -> NameLayout nullNL :: NameLayout leafNL :: LName -> NameLayout nameF :: LName -> F a b -> F a b type LName = String