Control.Monad.Signatures
type
CallCC
m a b
type
Catch
e m a
type
Listen
w m a
type
Pass
w m a