Error found:
in module Main
at tests/purs/failing/PolykindGeneralizationLet.purs:14:10 - 14:26 (line 14, column 10 - line 14, column 26)

  Could not match type
         
    "foo"
         
  with type
       
    Int
       

while trying to match type t0 "foo"
  with type Proxy @Type Int
while checking that expression Proxy
  has type Proxy @Type Int
in value declaration test

where t0 is an unknown type

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