(MayHas e h, MayHas e t) => MayHas e (:*: h t) | |

(TyOr x y b, Contains e h x, Contains e t y) => Contains e (:*: h t) b | |

(Bounded a, Bounded b) => Bounded (:*: a b) | |

(Eq a, Eq b) => Eq (:*: a b) | |

(Ord a, Ord b) => Ord (:*: a b) | |

(Read a, Read b) => Read (:*: a b) | |

(Show a, Show b) => Show (:*: a b) | |