effect is only defined for suspended monads now
# arrow
p
effect is only defined for suspended monads now