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 puts("Hello, World"); 0; end;