Improve performance of DecEq deriving#34

omelkonian merged 4 commits intomasteragda/agda-stdlib-meta:masterfrom

andre/derive-deceq-performanceagda/agda-stdlib-meta:andre/derive-deceq-performanceCopy head branch name to clipboard