monoids: implemented takeJ