CoreMonad

The monad

data CoreM a

Reading from the monad

Writing to the monad

Lifting into the monad

Dealing with annotations

Screen output

Getting Names