T17841.hs:7:45: error:
    • Expected a type, but ‘t’ has kind ‘k2’
    • In the kind ‘t’
      In the first argument of ‘Proxy’, namely ‘(a :: t)’
      In the type signature: foo :: Proxy (a :: t)