Libraries.Template
Example
General lifting functions
decToMonad
expToMonad
Liftings of specific constants