Easy deprecation in `Relation.Unary.Consequences`; leftover from `v1.6` perhaps?#2203

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

jamesmckinna:unary-dec-recomputablejamesmckinna/agda-stdlib:unary-dec-recomputableCopy head branch name to clipboard