Create a generic maybe function that can take the maybe of any object

[mariari]

This includes the generic function and all valid instances, and documentation for how it works