>>= -package:basement -package:cabal-install-solver package:control-dsl

The implementation of <- statements in a do block, which forwards to runCont if k is Cont, otherwise forwards to runPolyCont from PolyCont.