"it's also about making sure these types are conformant" What do you mean, that they are intended to function similarly?