Error found: in module Main at tests/purs/failing/OverlappingVars.purs:14:8 - 14:20 (line 14, column 8 - line 14, column 20) No type class instance was found for    Main.OverlappingVars (Foo String Int)   while applying a function f of type OverlappingVars t0 => t0 -> t0 to argument (Foo "") 0 while inferring the type of f ((Foo "") 0) in value declaration test where t0 is an unknown type See https://github.com/purescript/documentation/blob/master/errors/NoInstanceFound.md for more information, or to contribute content related to this error.