Derive semigroup instance for F[A]

Question

It seems trivial to implement it on our own:

implicit def s[F[_]: Monad, A: Semigroup]: Semigroup[F[A]] = 
  Semigroup.instance((fa, fb) => for {
    fa &l