======================================================================
Errors
----------------------------------------------------------------------
WithPosition' {wpPos' = Just (Position {posLine = 7, posCol = 15}), wpThing' = MissingArguments ('E' :| "Int") (BaseType (BuiltinCat BInteger) :| [])}