unsafeCoerceEff :: forall a eff2 eff1. Eff eff1 a -> Eff eff2 a
Change the type of an effectful computation, allowing it to be run in
Note: use of this function can result in arbitrary side-effects.
unsafePerformEff :: forall a eff. Eff eff a -> a
Run an effectful computation.