Added pair-from combinator, incase you want a generator of a pair of two different types