T20443b.hs:13:4: error: [GHC-01629]
    • Too many type arguments in constructor pattern for ‘Proxy’
      Expected no more than 1; got 2
    • In the pattern: Proxy @Type @Int
      In an equation for ‘b’: b (Proxy @Type @Int) = ()