Error found:
in module InstanceChainSkolemUnknownMatch
at tests/purs/failing/InstanceChainSkolemUnknownMatch.purs:14:13 - 14:36 (line 14, column 13 - line 14, column 36)

  No type class instance was found for
                                                    
    InstanceChainSkolemUnknownMatch.Same (Proxy t3) 
                                         (Proxy Int)
                                         t4         
                                                    

while applying a function same
  of type Same @Type @Type t0 t1 t2 => t0 -> t1 -> SProxy t2
  to argument Proxy
while inferring the type of same Proxy
in value declaration example

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