sub foo $x $y { $x * $y } #### sub foo $x { sub $y { $x * $y } } #### foo(3, 5) #### foo(3)(5) #### val foo :: int -> int -> int