mod39.hs:4:17: error:
    • Constraint ‘Eq a’ in the type of ‘f’
        constrains only the class type variables
      Enable ConstrainedClassMethods to allow it
    • When checking the class method: f :: forall a. (C a, Eq a) => a
      In the class declaration for ‘C’