Semigroupal
Ability for a type constructor F to combine together two values of type F[A] and F[B] into a value of type F[(A, B)]
class Object
trait Matchable
class Any
Ability for a type constructor F to combine together two values of type F[A] and F[B] into a value of type F[(A, B)]