Add test for #12589
[ghc.git] / testsuite / tests / typecheck / should_fail / T8883.stderr
1
2 T8883.hs:20:1: error:
3     • Non type-variable argument in the constraint: Functor (PF a)
4       (Use FlexibleContexts to permit this)
5     • When checking the inferred type
6         fold :: forall b a.
7                 (Regular a, Functor (PF a)) =>
8                 (PF a b -> b) -> a -> b