T15474.hs:9:1: error:
    • Uninferrable type variable k0 in
      the type synonym right-hand side: forall (t :: k0). Proxy @{k0} t
    • In the type declaration for ‘Forall’