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