def greet (name : String) : String :=
  String.concat "Hello, " (String.concat name "!")