Substitute type parameters (tink_lang in fact already does this); ``` interface TFoo<T> implements ITrait { function first(a:Iterable<T>):T return a.iterator.next(); } class MyFoo implements TFoo<Int> {} ```