typedef a = private;
typedef b = (int x);
typedef incomplete c = (private);
typedef incomplete d = (int x, private);

typedef g = private^;
typedef h = c^;
typedef i = b?;

typedef j = (private^ r)(private ^x);
typedef k = (g)(g);

typedef l = enum(a,b,c);