@@ -1,7 +1,6 @@
1+||| Monads and Functors
12module Prelude.Monad
23
3−-- Monads and Functors
4−
54import Builtins
65import Prelude.Functor
76import public Prelude.Applicative
@@ -28,11 +27,7 @@ interface Applicative m => Monad (m : Type -> Type) where
2827||| define `return` and `pure` differently!
2928return : Monad m => a -> m a
3029return = pure
31−%deprecate return "Please use `pure`, which is equivalent."
32−
33−flatten : Monad m => m (m a) -> m a
34−flatten = join
35−%deprecate flatten "Please use `join`, which is the standard name."
30+%fragile return "`return` is provided for those coming from Haskell. Please use `pure` instead, which is equivalent."
3631
3732||| Similar to `foldl`, but uses a function wrapping its result in a `Monad`.
3833||| Consequently, the final value is wrapped in the same `Monad`.