CPS für Resultat-Tupel

wie modelliert man Funktion mit mehreren Rückgabewerten?

• benutze Datentyp Tupel (Paar):

  f : A -> (B, C)
  

• benutze Continuation:

  f/cps : A -> (B -> C -> D) -> D