type Cont c a = (a -> c) -> c
Cont
This type synonym should probably be removed, since it is more confusing than helpful.