// same example but with constraints on each type parameter class Chain2 { constructor(public value: T) { } then(cb: (x: T) => S): Chain2 { var result = cb(this.value); // should get a fresh type parameter which each then call var z = this.then(x => result).then(x => "abc").then(x => x.length); return new Chain2(result); } }