Monad package:ghc is:module

The TPipelineClass and MonadUse classes and associated types

Hides away distracting bookkeeping while lambda lifting into a LiftM monad.

JS codegen state monad

Monadic definitions for the constraint solver

Functions for working with the typechecker environment (setters, getters...).

Utilities related to Monad and Applicative classes Mostly for backwards compatibility.