module Hello

type World = string