josefs/reify

Exporing various ways to do monadic reification

Haskell