subtract package:monoidmap-examples