この join は Cotrol.Moad のjoin とほぼ同等で、かつ、集合の包含関係を順序関係とした場合の結び(join)になっていると思う。
だから、この場合は概念的に関係があるけど、モナド一般に拡張できるかどうかはよく分からない。