Prove maybe is an applicative

Includes everything except interchange. If anyone out there fancies doing this, be my guest (not that anyone is listening).

**Ref:** https://github.com/unsymbol/ribimaybe/issues/10