Monadic instances for ulift
and plift
#
In this file we define monad
and is_lawful_monad
instances on plift
and ulift
.
@[simp]
@[simp]
control.ulift
ulift
and plift
#In this file we define monad
and is_lawful_monad
instances on plift
and ulift
.