DDF.Prod

class Prod r

zro1

fst1

mkProd1

mkProd2

curry1

uncurry1