Commit 2023-09-14 09:08 22b19e1a
View on Github →chore: Module.{Free,Finite}
instances for ULift
(#7135)
These carry no data so should be harmless.
chore: Module.{Free,Finite}
instances for ULift
(#7135)
These carry no data so should be harmless.