On Second-Order Monadic Monoidal and Groupoidal Quantifiers (Logical Methods in Computer Science, 2010)