{-# specialize: true, inline: case #-} deriving instance eqProductI {A B} {{Eq A}} {{Eq B}} : Eq (Pair A B)Source#

{-# specialize: true, inline: case #-} deriving instance ordProductI {A B} : {{Ord A}} -> {{Ord B}} -> Ord (Pair A B)Source#

instance showProductI {A B} : {{Show A}} -> {{Show B}} -> Show (Pair A B)Source#