[Haskell-cafe] Why isn't ArrowChoice a parent of of ArrowApply?

Petr Pudlák petr.mvd at gmail.com
Thu Jun 20 09:02:48 CEST 2013

In Control.Arrow we have:

    |leftApp  ::ArrowApply  a => a b c -> a (Either  b d) (Either  c d)|

    Any instance of |ArrowApply| can be made into an instance of
    |ArrowChoice| by defining |left = leftApp|.

So why isn't |ArrowChoice| a parent of |ArrowApply|?

Best regards,

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130620/b5fd3db8/attachment-0001.htm>

More information about the Haskell-Cafe mailing list