>>= -package:zio -package:template-haskell 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.