[ add ] homomorphisms between algebras defined by `On`#2876

jamesmckinna wants to merge 2 commits intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:on-homomorphismsjamesmckinna/agda-stdlib:on-homomorphismsCopy head branch name to clipboard