link for Simple and Compositional Reification of Monadic Embedded Languages