use Monoid.First in first and second