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