blob: bbb363349eccc372775ce8ddc0197986d4fd0fc3 (
plain)
1
2
3
4
5
6
7
8
9
|
T9106.hs:13:10: error:
Illegal instance declaration for ‘FunctorN n f a (f fa)’
The liberal coverage condition fails in class ‘FunctorN’
for functional dependency: ‘n f a -> fa’
Reason: lhs types ‘n’, ‘f’, ‘a’
do not jointly determine rhs type ‘f fa’
Un-determined variable: fa
In the instance declaration for ‘FunctorN n f a (f fa)’
|