Redundant constraint: Eq (Element Prod)

gistfile1.txt

import ClassyPrelude

newtype Prod = Prod ByteString
  deriving newtype (Eq, Hashable, Ord, IsString, MonoFoldable, Monoid, Semigroup)
type instance Element Prod = Word8


• Redundant constraint: Eq (Element Prod)
• In an expression type signature:
       Eq (Element Prod) => Element Prod -> Prod -> Bool
  In the expression:
      coerce
        @(Element ByteString -> ByteString -> Bool)
        @(Element Prod -> Prod -> Bool) (oelem @ByteString) ::
        Eq (Element Prod) => Element Prod -> Prod -> Bool
  In an equation for ‘oelem’:
      oelem
        = coerce
            @(Element ByteString -> ByteString -> Bool)
            @(Element Prod -> Prod -> Bool) (oelem @ByteString) ::
            Eq (Element Prod) => Element Prod -> Prod -> Bool
  When typechecking the code for ‘oelem’
    in a derived instance for ‘MonoFoldable Prod’:
    To see the code I am typechecking, use -ddump-deriv