You can match return types across continuations with delimited dynamic variables, an extension of delimited continuations http://okmij.org/ftp/papers/DDBinding

You can match return types across continuations with delimited dynamic variables, an extension of delimited continuations http://okmij.org/ftp/papers/DDBinding.pdf http://okmij.org/ftp/papers/DDBinding.pdf