-- | Focus a given grammar to the stack head.
onHead :: Grammar p a b -> Grammar p (a :- t) (b :- t)
onHead = OnHead
onHead :: Grammar p a b -> Grammar p (a :- t) (b :- t)
onHead = OnHead
onHead = OnHead