======================================================================
Fatal error:
WithPosition' {wpPos' = Just (Position {posLine = 6, posCol = 14}), wpThing' = ListsDontInhabitType (BaseType (BaseCat ('E' :| "xp")))}