We can consider a single type or a composition of related types to be the same by:
A feature can have different logics depending on the usage context. We can hide these…