======================================================================
Errors
----------------------------------------------------------------------
WithPosition' {wpPos' = Just (Position {posLine = 7, posCol = 1}), wpThing' = IncompatibleDefinition (Cat ('I' :| "d")) (Position {posLine = 6, posCol = 1})}
WithPosition' {wpPos' = Just (Position {posLine = 7, posCol = 1}), wpThing' = CoercionsOfTokenCat}