Bas van Dijk

This might be related to: https://github.com/LumiGuide/haskell-opencv/issues/65. Are you running this on Nix? If so, you should try out the [latest revision](https://github.com/LumiGuide/haskell-opencv/tree/4594ef0d63b990cd57f15068de3e97ce9ab8da4a) of `haskell-opencv`. I don't use stack myself. Does it...

Interesting. I also don't understand the type hackery yet. For example I'm wondering why the following: ```haskell async :: forall m a. (MonadBaseControl IO m, Forall (Pure m)) => m...

@maoe thanks for the explanation. I would prefer the name `Stateless` over `Pure` because it's more relatable to `StM`. @enolan care to submit a PR to bring this into `monad-control`?

@feuerbach you might be interested in this as well.

Hi Irene, Could you provide your WrapperTT datatype and your final working solution? I would be interested in that! Thanks.

Yes, this is a known limitation of `monad-control`. Note that it's also a limitation of previous versions of `monad-control` and also of the original `monad-peel` since there the restore computation...

Do you mean something like this: ``` class MonadTrans t ⇒ MonadTransControl t where data StT t ∷ (* → *) → * → * liftWith ∷ (Monad m, Monad...

`monad-control` does build successfully with [this change](https://github.com/basvandijk/monad-control/blob/dependent-StT/Control/Monad/Trans/Control.hs). And it supports making your `FooT` an instance of `MonadTransControl`: ``` haskell instance MonadTransControl (FooT s) where newtype StT (FooT s) m α...

> `restoreT (return st) >> restoreT (return st) >> m = m` I assume you mean: `restoreT (return st) >> restoreT (return st) >> m = restoreT (return st) >>...

Sorry Elliott, I didn't have time yet to carefuly look at your implementation. I will try do to it this weekend.