Its Kleisli category is Par, the category of partial functions. The Maybe monad — and more generally, the Exception monad — distributes over any other monad (Zwart, Marsden, 2018; as folklore).