modified MonoidBoost so it would compile after merge