The real path should be to move the semigroup package into the platform for the next release. (And, eventually, subsequent to that, to remove First and Last from Data.Monoid entirely).