3531-3.out

Error found:
in module [33mMain[0m
at tests/purs/failing/3531-3.purs:22:11 - 22:22 (line 22, column 11 - line 22, column 22)

  No type class instance was found for
  [33m                        [0m
  [33m  Main.C (X             [0m
  [33m            { foo :: Int[0m
  [33m            | t1        [0m
  [33m            }           [0m
  [33m            { foo :: Int[0m
  [33m            }           [0m
  [33m         )              [0m
  [33m                        [0m
  The following instance partially overlaps the above constraint, which means the rest of its instance chain will not be considered:

    [33mMain.cx[0m

  The instance head contains unknown type variables. Consider adding a type annotation.

while applying a function [33mthing[0m
  of type [33mC t0 => t0 -> t0[0m
  to argument [33mtest1[0m
while inferring the type of [33mthing test1[0m
in value declaration [33mtest2[0m

where [33mt0[0m is an unknown type
      [33mt1[0m 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.