[QuickCheck] MonadIO instance for PropertyM

[Edsko de Vries]

.. And another one:

instance MonadTrans PropertyM where
  lift = run

On Mar 28, 2014, at 5:27 PM, Edsko de Vries <edsko at well-typed.com> wrote:

> Heya,
> 
> This seems like it might be useful for generally:
> 
> instance MonadIO m => MonadIO (PropertyM m) where
>  liftIO = run . liftIO
> 
> Edsko
>