/* What? */
type Hello = Int

// ok?
type Bye = Bool