2
Trasformazione del passaggio di continuazione delle funzioni binarie
Richiama la trasformazione del passaggio di continuazione (trasformazione CPS) che porta da a (dove è fisso) e a definito da In effetti abbiamo la monade di continuazione con l'unità definita da e la moltiplicazione definita da β A : = R R A R f : A → B β …