type a = &bool
type b = &'a mut bool
type c = &'a bool