T6022.hs:3:1: error:
    Non type-variable argument in the constraint: Eq ([a] -> a)
    (Use FlexibleContexts to permit this)
    When checking that ‘f’ has the inferred type
      f :: forall a. Eq ([a] -> a) => ([a] -> a) -> Bool