Change `Monad` polymorphism#20

omelkonian wants to merge 2 commits intomasteragda/agda-stdlib-classes:masterfrom

hyper-ultra-monad-polymorphismagda/agda-stdlib-classes:hyper-ultra-monad-polymorphismCopy head branch name to clipboard