type T = ();