monoids: tinkering with dropJ