Applicative functor composition
g9ks157k at acme.softbase.org
Thu Jun 18 12:12:32 EDT 2009
Am Mittwoch, 17. Juni 2009 23:33 schrieb Henning Thielemann:
> In the TypeCompose package there is the O data type for composing two
> applicative functors
> However I hesitate to import this package because of a lot of needed type
> extensions. But since 'O' seems to be the canonical way for combining two
> functors, could we add it to Control.Applicative?
This doesn’t seem to be a good idea in my opinion. The reason is that O is
useful in other areas. Why should it be defined in Control.Applicative?
More information about the Libraries