blob: 867d6c6842913ed1af86bac8587f040bc79ae889 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T1496.hs:10:32:
Could not coerce from ‘c Int’ to ‘c Moo’
because ‘c Int’ and ‘c Moo’ are different types.
arising from the coercion of the method ‘isInt’ from type
‘forall (c :: * -> *). c Int -> c Int’ to type
‘forall (c :: * -> *). c Int -> c Moo’
Possible fix:
use a standalone 'deriving instance' declaration,
so you can specify the instance context yourself
When deriving the instance for (IsInt Moo)
|