Error found:
in module Main
at tests/purs/failing/4028.purs:29:12 - 29:37 (line 29, column 12 - line 29, column 37)

  No type class instance was found for
                      
    Main.TLShow (S i2)
                      
  The following instance partially overlaps the above constraint, which means the rest of its instance chain will not be considered:

    Main.tlShow2


while applying a function go
  of type TLShow @t0 t1 => Proxy @t0 t1 -> Int -> String
  to argument Proxy
while inferring the type of go Proxy
in value declaration peano

where i2 is a rigid type variable
        bound at (line 0, column 0 - line 0, column 0)
      t0 is an unknown type
      t1 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.