blob: 6f4946653ba084c46c93968e1b42a9ed12564837 (
plain)
1
2
3
4
5
6
7
8
|
T8883.hs:20:1: error:
• Non type-variable argument in the constraint: Functor (PF a)
(Use FlexibleContexts to permit this)
• When checking the inferred type
fold :: forall a b.
(Regular a, Functor (PF a)) =>
(PF a b -> b) -> a -> b
|