type t = int type q = int type u = inot