-- comment 'Single-line multiline comment :p triple = \x. y = x + x x + y triple 10.0 f = \x:Int. (x, x) f 1 y = 1. * 3. :p y