"1) What about the First type? Do we {-# DEPRECATE #-} it?"

Personnaly, I'm in favor of following the same logic than Int:
Int itself is not a monoid. You have to be specific: it's either Sum or Mult.

It should be the same for Maybe: we remove its instance of Monoid, and we only use First and Last.