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