ceGrammar :: Monad m => DocGramar -> LaTeXT_ m
traceGrammar (Doc prods _) =
  align_ $ map (\(Doc (Doc nt _ : _) _) -> texy nt) prods

b
traceGrammar :: Monad m => DocGramar -> LaTeXT_ m
traceGrammar (Doc prods _) =
  align_ $ map (\(Doc (Doc nt _ : _) _) -> texy nt) prods
traceGrammar (Doc prods _) =
  align_ $ map (\(Doc (Doc nt _ : _) _) -> texy nt) prods