stripPrefix package:monoid-subclasses