   Prelude.False -> Prelude.False}

type EqDec a =
  a -> a -> Prelude.Bool
  -- singleton inductive, whose constructor was Build_eqDec
  
eqDecide :: (EqDec a1) -> a1 -> a1 -> Prelude.Bool
eqDecide eqDec =
  eqDec

eqDecProd :: (EqDec a1) -> (EqDec a2) -> EqDec ((,) a1 a2)
eqDecProd h h0 a a' =
  case a of {
   (,) a0 b ->