monoids: implemented drop