init.control.lift ⟷ ?

Dependencies 6 + 1

Show graph

The unported dependencies are

• init.control.lift
• init.logic
• init.control.applicative
• init.core
• init.control.functor
• init.data.prod
• init.control.monad