Experimental: Control.Monad.Trans.Operational