@@ -245,6 +245,11 @@ pureM = Value
245(<*>) prog v = do fn <- prog
245(<*>) prog v = do fn <- prog
247 return (fn arg)
247 return (fn arg)
249+(*>) : EffM m a xs (\v => xs) ->
250+ EffM m b xs (\v => xs) -> EffM m b xs (\v => xs)
249new : Handler e' m => (e : EFFECT) -> resTy ->
254new : Handler e' m => (e : EFFECT) -> resTy ->
250 {auto prf : e = MkEff resTy e'} ->
255 {auto prf : e = MkEff resTy e'} ->