Report question

Question: Continuation passing style representation of types