blob: 81cbc85b6398ce4fd3296b32def962e8994b8fe8 (
plain)
1
2
3
4
5
6
|
T15796.hs:6:3: error: [GHC-17440]
• A newtype constructor must not have a context in its type
MkN :: forall a. Show a => a -> N a
• In the definition of data constructor ‘MkN’
In the newtype declaration for ‘N’
|