Idea: two continuations?
Something for termination
Hyb to L
Hyb to LF
L to Hyb