:: IO_a_ -> _ IO_ThreadId package:constrained-categories

Lift a value.