Exporing various ways to do monadic reification