A Type in a Type

a type is a data structuring method,
so there is no need or reason to do that.

it is like saying you want to put smaller
apples inside apples, why? they're all
apples aren't they?