@@ -327,6 +327,10 @@ pureM = Value
327(<*>) prog v = do fn <- prog
327(<*>) prog v = do fn <- prog
329 return (fn arg)
329 return (fn arg)
332+ EffM m a xs (\v => xs) -> EffM m b xs (\v => xs)
333+(<$>) f v = pure f <*> v
331(*>) : EffM m a xs (\v => xs) ->
335(*>) : EffM m a xs (\v => xs) ->
332 EffM m b xs (\v => xs) -> EffM m b xs (\v => xs)
336 EffM m b xs (\v => xs) -> EffM m b xs (\v => xs)