Control.Invertible.MonadArrow

data MonadArrow a m b c

type MonadFunction

type MonadBijection m

type MonadBijection' m

type MonadBijection'' m a b

monadBijection

monadBijection'