Maybe monad plus tests.
Annotated tests with module trait.
Added infix operator for maybe's bind.