blob: be2d7c75e7de8c665d2f8e0599a9bb4038777b6d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T15215.hs:9:3: error:
• Non type-variable argument in the constraint: Show (Maybe a)
(Use FlexibleContexts to permit this)
• In the definition of data constructor ‘MkA’
In the data type declaration for ‘A’
T15215.hs:16:14: error:
• Data constructor ‘MkB’ cannot be used here
(it has an unpromotable context ‘Show a’)
• In the first argument of ‘SA’, namely ‘MkB’
In the type ‘SA MkB’
In the definition of data constructor ‘SMkB’
|
