made Monad a subclass of Applicative.
Some stuff is broken by this; sec.
commite876e68412314e9e1c8b31e0f53d3b0df961a2ff
authorstartling <tdixon51793@gmail.com>
dateMon 19 Nov 2012, 10:29 (14 years ago)
parente18fac5
lib/Prelude/Monad.idr+2−2
@@ -4,13 +4,13 @@ module Prelude.Monad
44
55import Builtins
66import Prelude.List
7−import Prelude.Functor
7+import Prelude.Applicative
88
99%access public
1010
1111infixl 5 >>=
1212
13−class Monad (m : Set -> Set) where
13+class Applicative m => Monad (m : Set -> Set) where
1414 return : a -> m a
1515 (>>=) : m a -> (a -> m b) -> m b
1616