Error found:
in module Main
at tests/purs/failing/PolykindInstantiatedInstance.purs:12:26 - 12:42 (line 12, column 26 - line 12, column 42)

  Could not match kind
          
    Symbol
          
  with kind
        
    Type
        

while trying to match type "foo"
  with type t1
while checking that expression Proxy
  has type t0 t1
in value declaration test1

where t0 is an unknown type
      t1 is an unknown type

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