join function
Test sequence-m for the Maybe monad