Applicatives should usually implement Semigroup and Monoid | Heykuki News