Embeds effect systems in Haskell using 'parametric effect monads'