Original: A type is a category of being
Simplified: Ideal type