let foo: int = 1; let bar: string = "str"; let baz: bool = true; fun qux (lhs: int rhs: int) -> int = lhs + rhs; fun main () -> int = do let msg: string = "Hello, World!"; write(msg); 0; end;