let msg :: String = "Hello, World";
func add2 :: (a: Int, b: Int) -> Int = a + b;
func main :: () = puts (msg);