Error found:
in module Main
at tests/purs/failing/3765-kinds.purs:7:28 - 7:29 (line 7, column 28 - line 7, column 29)

  Could not match kind
              
    ( a :: Int
    | t11     
    )         
              
  with kind
              
    ( b :: Int
    | t11     
    )         
              

while checking that type x
  has kind { b :: Int
           | t0      
           }         
while inferring the kind of Tricky x x
in type synonym MkTricky

where t0 is an unknown type

See https://github.com/purescript/documentation/blob/master/errors/KindsDoNotUnify.md for more information,
or to contribute content related to this error.