ClassOperator.hs:14:3: error:
    • Could not deduce (a ><> b0)
      from the context: a ><> b
        bound by the type signature for:
                   (**>) :: forall a b. (a ><> b) => a -> a -> ()
        at ClassOperator.hs:14:3-44
      The type variable ‘b0’ is ambiguous
    • In the ambiguity check for ‘**>’
      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
      When checking the class method:
        (**>) :: forall a b. (a ><> b) => a -> a -> ()
      In the class declaration for ‘><>’

ClassOperator.hs:14:3: error:
    • Could not deduce (a ><> b0)
      from the context: a ><> b
        bound by the type signature for:
                   (**<) :: forall a b. (a ><> b) => a -> a -> ()
        at ClassOperator.hs:14:3-44
      The type variable ‘b0’ is ambiguous
    • In the ambiguity check for ‘**<’
      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
      When checking the class method:
        (**<) :: forall a b. (a ><> b) => a -> a -> ()
      In the class declaration for ‘><>’

ClassOperator.hs:14:3: error:
    • Could not deduce (a ><> b0)
      from the context: a ><> b
        bound by the type signature for:
                   (>**) :: forall a b. (a ><> b) => a -> a -> ()
        at ClassOperator.hs:14:3-44
      The type variable ‘b0’ is ambiguous
    • In the ambiguity check for ‘>**’
      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
      When checking the class method:
        (>**) :: forall a b. (a ><> b) => a -> a -> ()
      In the class declaration for ‘><>’

ClassOperator.hs:14:3: error:
    • Could not deduce (a ><> b0)
      from the context: a ><> b
        bound by the type signature for:
                   (<**) :: forall a b. (a ><> b) => a -> a -> ()
        at ClassOperator.hs:14:3-44
      The type variable ‘b0’ is ambiguous
    • In the ambiguity check for ‘<**’
      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
      When checking the class method:
        (<**) :: forall a b. (a ><> b) => a -> a -> ()
      In the class declaration for ‘><>’