Proposal: Allow arr ∧ (first ∨ (***)) as minimal definition of Arrow instance

[M Farkas-Dyck]

Add default definitions of first, second in terms of (***) to let one define an Arrow instance in terms of (***) rather than first, which is sometimes more elegant or convenient.

To my knowledge this can not break any code.

GHC ticket: 10216