add another exercise
fix Hom for (possibly non-abelian) groups