pure package:constrained-categories

Note that this tends to make little sense for non-endofunctors. Consider using constPure instead.
Lift a value.