¤ Cont

Types

type Cont a b = (b -> a) -> a

Cont is used to shorten type signatures for continuation style combinators.

This type synonym should probably be removed, since it is more confusing than helpful.