Added maybe cata for Optional

Same linking problem as flatMap.

Dunno if this is useful or not.