Agda.Utils.Monad
type Cont r a