Avoid over-constraining nested types