| MonadRun p (GuardContinuationPass u p) |
| Monad m => LiftedMonad m (GuardContinuationPass u (m k)) |
| (MonadStandardReference m r, MonadFix m) => MonadFix (GuardContinuationPass u (m ())) |
| Eq u => HasContinuations (WinderStack u p, p) (GuardContinuationPass u p) |
| Eq u => MonadCont (GuardContinuationPass u p) |
| Eq u => MonadExit p (GuardContinuationPass u p) |
| MonadBottom m => MonadBottom (GuardContinuationPass u (m k)) |
| MonadUnique m u => MonadGuard (GuardContinuationPass u (m k)) |
| ??? a p u => HasReturn (GuardContinuationPass u p a) |
| ??? a p u => Functor (GuardContinuationPass u p a) |
| ??? a p u => FunctorApply (GuardContinuationPass u p a) |
| ??? a p u => Monad (GuardContinuationPass u p a) |
| MonadGettableReference m IORef => MonadGettableReference (GuardContinuationPass u (m p)) IORef |
| MonadSettableReference m IORef => MonadSettableReference (GuardContinuationPass u (m p)) IORef |
| MonadCreatable m IORef => MonadCreatable (GuardContinuationPass u (m p)) IORef |
| MonadStandardReference m IORef => MonadStandardReference (GuardContinuationPass u (m p)) IORef |
