Error found:
in module Main
at tests/purs/failing/StandaloneKindSignatures2.purs:8:35 - 8:36 (line 8, column 35 - line 8, column 36)

  Could not match kind
      
    k2
      
  with kind
      
    k1
      

while checking that type b
  has kind k1
while inferring the kind of Pair a b
in type constructor Pair'

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