Small changes required by the new monad polymorphsm#30

WhatisRT wants to merge 1 commit intomasteragda/agda-stdlib-meta:masterfrom

new-polymorphismagda/agda-stdlib-meta:new-polymorphismCopy head branch name to clipboard