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