Control.Invertible.MonadArrow

data MonadArrow a m b c

type BiKleisli m a b