profunctor-monad (hackage): Applicative and monadic interface for bidirectional programming.
Keywords: control|library|mit