----------------------------------------------------------------------
-- Similarly, study the following version
----------------------------------------------------------------------

node Fby( A, B, C : int ) returns ( X : int );
let
  X = (A -> B) -> C;
tel