type Hello = Int

type Bye = Bool