[Haskell] Instantiating MonadPlus from ArrowApply and ArrowPlus

1 May 2007

      -----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Is there any reason that the following is not defined in Control.Arrow?

instance (ArrowApply a, ArrowPlus a) => MonadPlus (ArrowMonad a) where
    mzero = ArrowMonad zeroArrow 
    mplus (ArrowMonad a) (ArrowMonad b) = ArrowMonad (a <+> b)

- -- 
 Daniel Franke         df@dfranke.us         http://www.dfranke.us
 |----| =|\     \\\\    
 || * | -|-\---------   Man is free at the instant he wants to be. 
 -----| =|  \   ///     --Voltaire
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFGNsTlKTA17JAC/eYRAjE4AJ9QSyjYXGs2ZNgGLp6rh3Gc3qP5hgCfXMYW
mOU9DtZ0A54h1KIJ35q2HsQ=
=2Rs0
-----END PGP SIGNATURE-----