@@ -4,13 +4,13 @@ module Prelude.Monad
5import Builtins
5import Builtins
6import Prelude.List
6import Prelude.List
7−import Prelude.Functor
7+import Prelude.Applicative
9%access public
9%access public
11infixl 5 >>=
11infixl 5 >>=
13−class Monad (m : Set -> Set) where
13+class Applicative m => Monad (m : Set -> Set) where
14 return : a -> m a
14 return : a -> m a
15 (>>=) : m a -> (a -> m b) -> m b
15 (>>=) : m a -> (a -> m b) -> m b