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

amindfv at amindfv at
Thu Mar 30 21:24:19 UTC 2017

-1 for reasons covered in other discussions.


> El 30 mar 2017, a las 15:06, Henning Thielemann <lemming at> escribió:
>> 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.
> _______________________________________________
> Libraries mailing list
> Libraries at

More information about the Libraries mailing list