1 2 3 4 5 6
T15659.hs:3:11: error: Rule "test": Not in scope: âfâ in left-hand side: f x LHS must be of form (f e1 .. en) where f is not forall'd