`MonadDefer` should be enough
# arrow
p
MonadDefer
should be enough