-- Define a greeting function
fn greet: String -> String
fn greet name = "Hello, " ++ name ++ "!"

-- Call it
greet "World"