blob: 51119c1e7a114ae839faabe4420ecc996ac36d1b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T15215.hs:11:3: error:
• Non type-variable argument in the constraint: Show (Maybe a)
• In the definition of data constructor ‘MkA’
In the data type declaration for ‘A’
Suggested fix: Perhaps you intended to use FlexibleContexts
T15215.hs:18: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’
|