blob: 48f0664d91d31c2d90ae980e6d84581fadbc0014 (
plain)
1
2
3
4
5
6
|
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) = ()
|