Call me maybe

`Maybe` uses `cata` instead of `fold`. I'd like to be consistent here. I don't particularly care whether we call it `cata` or `fold` (or have one alias the other). I initially chose `cata` because it was already on `OptionOps` and its signature is reversed from `fold` on `Option` (in addition to being pulled into a single parameter list).