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

  No type class instance was found for
                                                    
    InstanceChainSkolemUnknownMatch.Same (Proxy t3) 
                                         (Proxy Int)
                                         t4         
                                                    
  The following instance partially overlaps the above constraint, which means the rest of its instance chain will not be considered:

    InstanceChainSkolemUnknownMatch.sameY


while applying a function same
  of type Same @Type @Type t0 t1 t2 => t0 -> t1 -> Proxy @Symbol 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.