@@ -306,11 +306,6 @@ toEff xs' = id
306pure : a -> EffM m a xs (\v => xs)
306pure : a -> EffM m a xs (\v => xs)
307pure = Value
307pure = Value
309−return : a -> EffM m a xs (\v => xs)
312−%deprecate Effects.return "Please use `pure`."
314pureM : (val : a) -> EffM m a (xs val) xs
309pureM : (val : a) -> EffM m a (xs val) xs
315pureM = Value
310pureM = Value