1type Cont r a = ((a -> r) -> r)
2
3joinCont :: Cont r (Cont r a) -> Cont r a
4joinCont = _
5