Category and Cartesian instances for polymorphic predicates#443

AJChapman wants to merge 1 commit intoagda:masteragda/agda-categories:masterfrom

AJChapman:polymorphic-predsAJChapman/agda-categories:polymorphic-predsCopy head branch name to clipboard