This module implements the Magic Do optimization, which inlines calls to return and bind for the Eff monad, as well as some of its actions.