Applicatives should usually implement Semigroup and Monoidhaskellforall.com6 pointsykonstant3 years ago