Change Monad polymorphism#19

omelkonian merged 2 commits into

masteragda/agda-stdlib-classes:masterfrom

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