[ refactor ] weaken type of `Relation.Nullary.Negation.Core.contradiction-irr`#2785

MatthewDaggitt merged 2 commits intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:contradiction-irrjamesmckinna/agda-stdlib:contradiction-irrCopy head branch name to clipboard