Just after posting this, I saw the answer of Bill Baxter in digitalmars.d on my posting there. Now I know the solution, it is to write [...] class B(TT : A!(T), T) [...] ~mki