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