Category Theory: What we have for tuple?
- monoid - functor - applicative - cobind -...