Joins for Delay monad added (need refinements).