It's like a union type: `type Person = Human | Company`. Or like inheritance: `class Human(Person)`, `class Company(Person)`. Or a typeclass/trait/interface...
It allows you to reuse many laws for both humans and companies, without having to specify them or define special cases every time it is mentioned.