In my experience, LLMs benefit greatly from the existence of sum types and exhaustive pattern matching.