Equatable things make equatable monoids