Error found:
in module Main
at tests/purs/failing/RowsInKinds.purs:14:16 - 14:17 (line 14, column 16 - line 14, column 17)

  Could not match kind
               
    ( z :: Type
    | t25      
    )          
               
  with kind
               
    ( x :: Type
    , y :: Type
    )          
               

while checking that type Z
  has kind R @Type      
             ( x :: Type
             , y :: Type
             )          
while inferring the kind of P Z
in type synonym Test3

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