@@ -1,4 +1,4 @@
1−module Control.Monad
1+module Control.Monad.Syntax
3%default total
3%default total
4%access public export
4%access public export
@@ -15,4 +15,4 @@ infixr 1 =<<, <=<, >=>
16||| Right-to-left monadic bind, flipped version of `>>=`.
16||| Right-to-left monadic bind, flipped version of `>>=`.
17(=<<) : Monad m => (a -> m b) -> m a -> m b
17(=<<) : Monad m => (a -> m b) -> m a -> m b
18−(=<<) = flip (>>=)
18+(=<<) = flip (>>=)