Functor, Applicative, Monad, Foldable, Traversable instances for (, , ) a b