haskell - subgrupos - ¿Estas instancias de monoides ya existen en algún lugar?