def main : IO Unit := do
  IO.println String.append "Hello, " "world!"