type a = ();
type b = (bool);
type c = (bool, usize);