The properties that make the Maybe type a monad are its type constructor Maybe a, our chaining function (>>?), and the injector function Just.