path: root/testsuite/tests/typecheck/should_fail/T17567.stderr

T17567.hs:7:1: error:
    • Uninferrable type variable k0 in
      the type synonym right-hand side: forall (a :: k0). Proxy @{k0} a
    • In the type declaration for ‘T’