From 72de17f4c749507f92b0cfbe8699f13044386adb Mon Sep 17 00:00:00 2001
From: "Yury G. Kudryashov" <urkud@urkud.name>
Date: Thu, 16 Feb 2023 00:17:51 -0600
Subject: [PATCH] feat: port CategoryTheory.Category.Ulift