Module morphisms polymorphic in the underlying ring structure#2810

Taneb wants to merge 3 commits intoagda:masteragda/agda-stdlib:masterfrom

Taneb:polymorphic-module-morphismsTaneb/agda-stdlib:polymorphic-module-morphismsCopy head branch name to clipboard