value value variant Some variant None value variant Some variant None value variant Some variant None value variant Some variant None comment ignore keyword unwanted name value head variant Nil head tail variant Cons
value variant Some
variant None value
terminals � % Option[NonEmptyList[Terminal, Empty]]
Terminal List[Terminal, Empty] Comment NonEmptyList[Terminal, Empty] File Option[UNWANTED] Option[KEYWORD] Option[Comment] Option[IGNORE] Empty Empty File Terminal Comment Option[Comment] Option[IGNORE] Option[KEYWORD] Option[UNWANTED] List[Terminal, Empty] NonEmptyList[Terminal, Empty]% Option[NonEmptyList[Terminal, Empty]]