Error found:
in module Main
at tests/purs/failing/StandaloneKindSignatures3.purs:7:18 - 7:23 (line 7, column 18 - line 7, column 23)

  Could not match kind
          
    Symbol
          
  with kind
        
    Type
        

while checking that type "foo"
  has kind Type
while inferring the kind of Fst Int "foo"
in type synonym F

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