对于延续monad来说，“加入”总是微不足道的吗？

Question

延续非常简单，因为Cont r a ~ a。

我已经确定了join：

join :: Cont r (Cont r a) -> Cont r a
join m = cont $ runCont m (\x -> runCont x)

基本上join会将(((a -> r) -> r) -> r) -> r转换为：(a -> r) -> r。所以似乎join根本没有做任何事情，但减少了冗余。这是对的吗？