Commit 2023-07-11 10:37 fe6a0bdc
View on Github →fix: correct universe polymorphism in SlimCheck (#5796)
The use of auto-implicits was introducing a universe metavariable where we wanted a free variable.
The new ULiftable
instances handle the common case of a universe polymorphic monad with a universe-lifted state from Type
.