======================================================================
Warnings
----------------------------------------------------------------------
WithPosition' {wpPos' = Just (Position {posLine = 7, posCol = 1}), wpThing' = LabelClashesWithCategory ('M' :| "odule") (Position {posLine = 7, posCol = 1})}
WithPosition' {wpPos' = Just (Position {posLine = 62, posCol = 1}), wpThing' = LabelClashesWithCategory ('V' :| "bind") (Position {posLine = 62, posCol = 1})}
WithPosition' {wpPos' = Just (Position {posLine = 71, posCol = 1}), wpThing' = LabelClashesWithCategory ('A' :| "Tbind") (Position {posLine = 71, posCol = 1})}
----------------------------------------------------------------------