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