andM package:yaya

Eliminator for AndMaybe, akin to either or maybe.
Isomorphic to (a, Maybe b), it’s also the pattern functor for non-empty lists.