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.