Add TupleTwo catamorphism

Signed-off-by: Ricky Elrod <ricky@elrod.me>