1 2 3 4 5 6
T10351.hs:7:1: error: • Non type-variable argument in the constraint: C [a] (Use FlexibleContexts to permit this) • When checking the inferred type f :: forall {a}. C [a] => a -> ()