blob: fb76dd4989a01195b83de6d05e22d7469def24a5 (
plain)
1
2
3
4
5
6
7
|
T12055a.hs:27:1: error:
• Non type-variable argument in the constraint: Category (Dom f)
(Use FlexibleContexts to permit this)
• In the context: (Category (Dom f), Category (Cod f))
While checking the super-classes of class ‘Functor’
In the class declaration for ‘Functor’
|
