Category Theory: What we have for tuple?

- monoid - functor - applicative - cobind -...