[ add ] `PartialOrder` structure/bundle on `_→_` (fixes issue #2820)#2823

jamesmckinna wants to merge 2 commits intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:issue2820jamesmckinna/agda-stdlib:issue2820Copy head branch name to clipboard