Libraries.Template

Example

General lifting functions

decToMonad

expToMonad

Liftings of specific constants