@hackage / control

Class of monad transformers which control operations can be lifted thru