remove final references to `Category.*`#2214

MatthewDaggitt merged 1 commit intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:effectful-finaljamesmckinna/agda-stdlib:effectful-finalCopy head branch name to clipboard