constraint-0.1.1.0: Data/Constraint/Product.hs

{-# LANGUAGE UndecidableSuperClasses #-}

module Data.Constraint.Product where

class    (a, b) => Product a b
instance (a, b) => Product a b