Implemented join on all monads.  Map2 is now available on all monads.