typedef vs. GADT

[Simn]

I noticed today that this doesn't work:

typedef Td = E<String>;

enum E<T> {
	// C(s:String):E<String>;
	C(s:String):Td;
}

function match<T>(e:E<T>) {
	return switch (e) {
		case C(s): s; // Unrecognized pattern: C(s)
	}
}

function main() {
	match(C("foo"));
}

The commented out version works fine, so this must either be a missing follow or some lame syntax-level check.

Merry Christmas anyway