Haxe generic type parameter construction

Main.hx

typedef Constructible = {
  public function new():Void;
}

@:generic
class Gen<T:(Constructible, Main)> {
	public function new() { }
	
	public function make() {
		return new T();
	}
}

class Main {
	static public function main() {
		new Gen<Main>().make();
		new Gen<Mainer>().make();
		new Gen<Mainest>().make();
	}
	
	public function new() {
		trace("new Main");
	}
}

class Mainer extends Main {
	public function new() {
		trace("new Mainer");
		super();
	}
}

class Mainest extends Mainer {
	public function new() {
		trace("new Mainest");
		super();
	}
}