basvandijk/regions — Issue #2: Support monad-control-0.3
Author: basvandijk
Created: 2011-12-09 14:29:17+00:00
State: open

Currently I can't support `monad-control-0.3` since GHC does [not yet support overlapping type family instances](http://hackage.haskell.org/trac/ghc/ticket/4259#comment:11).

A very unsatisfying work-around is to make `RegionT` a direct instance of `MonadTransControl` and `MonadBaseControl`. However this is [unsafe](https://github.com/basvandijk/regions/wiki/unsafeLiftControlIO). But maybe it's less unsafe if we make it very clear in the documentation never to lift `forkIO` into a region...