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

[Henning Thielemann]

On Thu, 30 Mar 2017, Nathan Bouscal wrote:

> The argument that people should define custom data types rather than 
> using triples doesn't have any bearing on whether triples should 
> implement these type classes. That argument would imply that whether the 
> type classes are implemented doesn't matter, because if you're 
> complaining about getting unexpected results the response is "use a 
> custom data type",

I don't want unexpected results, I want clear type errors. That's only 
possible with missing type instances.