blob: 050b945db04f31f0628ad6e29f7bbb7017b58c69 (
plain)
1
2
3
4
5
6
|
T20443b.hs:13:4: error:
• 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) = ()
|