Monad is:exact -is:module -package:cabal-install-solver package:linear-base

Control linear monads. A linear monad is one in which you sequence linear functions in a context, i.e., you sequence functions of the form a %1-> m b.