Error found:
in module Main
at tests/purs/failing/3077.purs:11:14 - 11:38 (line 11, column 14 - line 11, column 38)

  Could not match kind
        
    Type
        
  with kind
          
    Symbol
          

while trying to match type SProxy
  with type t0
while checking that expression SProxy
  has type t0 t1
in value declaration wrong

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.