Change Monad polymorphism#20

omelkonian wants to merge 2 commits into

masteragda/agda-stdlib-classes:masterfrom

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