======================================================================
Errors
----------------------------------------------------------------------
WithPosition' {wpPos' = Nothing, wpThing' = EmptyGrammar}