use latest monoids