b
HConsSemigroup