======================================================================
Warnings
----------------------------------------------------------------------
WithPosition' {wpPos' = Just (Position {posLine = 5, posCol = 1}), wpThing' = NonUniformListRule (ListCat (Cat (BaseCat ('F' :| "oo")))) [Cat (BuiltinCat BInteger)]}
----------------------------------------------------------------------
Errors
----------------------------------------------------------------------
WithPosition' {wpPos' = Just (Position {posLine = 5, posCol = 1}), wpThing' = InvalidLabelSg (FunType {targetType = ListType (BaseType (BaseCat ('F' :| "oo"))), argTypes = [BaseType (BuiltinCat BInteger)]})}