T15360b.hs:10:13: error:
    • Expected kind ‘* -> k3’, but ‘Type’ has kind ‘*’
    • In the first argument of ‘Proxy’, namely ‘(Type Double)’
      In the type signature: x :: Proxy (Type Double)

T15360b.hs:13:13: error:
    • Expected kind ‘* -> k2’, but ‘1’ has kind ‘GHC.Num.Natural.Natural’
    • In the first argument of ‘Proxy’, namely ‘(1 Int)’
      In the type signature: y :: Proxy (1 Int)

T15360b.hs:16:13: error:
    • Expected kind ‘* -> k1’, but ‘Constraint’ has kind ‘*’
    • In the first argument of ‘Proxy’, namely ‘(Constraint Bool)’
      In the type signature: z :: Proxy (Constraint Bool)

T15360b.hs:19:13: error:
    • Expected kind ‘* -> k0’, but ‘'[]’ has kind ‘[a0]’
    • In the first argument of ‘Proxy’, namely ‘('[] Int)’
      In the type signature: w :: Proxy ('[] Int)