added the Maybe monad and triple