Error found:
in module Main
at tests/purs/failing/3765.purs:6:23 - 6:24 (line 6, column 23 - line 6, column 24)

  Could not match type
              
    ( b :: Int
    ...       
    | t0      
    )         
              
  with type
              
    ( a :: Int
    ...       
    | t0      
    )         
              

while trying to match type { b :: Int
                           | t0      
                           }         
  with type t1
while checking that expression x
  has type { b :: Int
           | t0      
           }         
in value declaration mkTricky

where t1 is an unknown type
      t0 is an unknown type

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