let
join t = t >>= (
fun
t'
->
t')