======================================================================
Warnings
----------------------------------------------------------------------
WithPosition' {wpPos' = Just (Position {posLine = 9, posCol = 19}), wpThing' = ShadowingParameter ('x' :| "")}
----------------------------------------------------------------------