Продолжение monad "interface"

Интерфейс "монада" состояния

class MonadState s m where
    get :: m s
    put :: s -> m ()

(+ return and bind) позволяет построить любое возможное вычисление с государственной монадой без использования конструктора State. Например, State $ \s -> (s+1, s-1) можно записать как

 do s <- get
    put (s-1)
    return (s+1)

Сходным образом, я никогда не должен использовать конструктор Reader, потому что я могу создать это вычисление с помощью ask, return и (>>=). Точно: Reader f == ask >>= return . f.

Это то же самое верно для продолжений - возможно ли записать все экземпляры Cont r a с помощью callCC (единственная функция из MonadCont), вернуть и привязать и никогда не вводить что-то вроде Cont (\c -> ...)?