Type implementation relation fix