Global: porting classes from formal-prelude#21

omelkonian merged 1 commit intomasteragda/agda-stdlib-classes:masterfrom

prelude-portagda/agda-stdlib-classes:prelude-portCopy head branch name to clipboard