MayBe monadic type is built in the core with the ? shortcut for that