Data.Monoid.First and Data.Monoid.Last