Substitute type params in default type params using them.