bottom type ↔ empty Type set to match nothing but itself; never

References

1. never ↔ bottom type to rep values never observed (or never return from function)