>>= -package:stack -package:linear-base 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.