$forall menuType <- menuTypes $case menuType $of NavbarLeft (MenuItem label route _)
• #{label} $of _