Explore domain modeling through a functional programming lens in this 52-minute conference talk. Learn how statically typed functional languages offer a unique approach to type systems, positioning them as valuable tools rather than obstacles. Discover techniques for leveraging types to create fine-grained, self-documenting domain representations and even encode business rules, preventing incorrect code at compile-time. Gain insights into incorporating types into domain-driven design processes through simple, real-world F# examples. No prior F# knowledge or complex mathematical understanding required for this jargon-free presentation on harnessing type systems for more robust software design.