Error found:
in module Main
at tests/purs/failing/PolykindInstantiation.purs:8:33 - 8:38 (line 8, column 33 - line 8, column 38)

  Could not match kind
          
    Symbol
          
  with kind
        
    Type
        

while checking that type "foo"
  has kind Type
while inferring the kind of F Proxy "foo"
while inferring the kind of Proxy (F Proxy "foo")
in value declaration test2

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