Making (JS a) an instance of Semigroup.