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