> A guide to domain-specific types that make sense.