N_no_group/
Npos_no_group/
Npos_no_monoid/