Added Haskell-style bind operator for maybe
Style primitives can now be nested