monoid_algebra.is_scalar_tower source