Added support for MonadWriter and simplified censor
Added support for MonadIO (in Lift.hs)
Exporting Control.Effect.Union from Control.Effect