does it have (i) monoids, (ii) Unicode operator dsls, (iii) all of the above? ;)