Control.Invertible.MonadArrow
data MonadArrow a m b c
type MonadFunction
type MonadBijection m
type MonadBijection' m
type MonadBijection'' m a b
monadBijection
monadBijection'