find types that cotype this type