18 Jun
2009
18 Jun
'09
12:12 p.m.
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
http://hackage.haskell.org/packages/archive/TypeCompose/0.6.4/doc/html/Contr...
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? Best wishes, Wolfgang