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