3:37 monadic return works, bind operator still in progress