Can we create Sub-Types?