there usally the products combinators, one that gi...

# arrow

[tmg]

there usally the products combinators, one that given a f::a ->b and g:: a -> c should give a function h:: a-> (b, c) , and another combinator to produce i:: (a,b) -> (c, d)