Instead of `Identity` use `First`

[John Ericson]

Giving Identity meaning just seems wrong: it should just get the underlying patch instance if it does anything at all. Worse, one cannot define the associated semigroup. First however already has the semi-group we want, so we should instead use it as the "replacement" patch.