Error found:
in module InstanceChains.BothUnknownAndMatch
at tests/purs/failing/InstanceChainBothUnknownAndMatch.purs:15:13 - 15:53 (line 15, column 13 - line 15, column 53)

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

    InstanceChains.BothUnknownAndMatch.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.