Use this agent when you need expert guidance on advanced Haskell type-level programming, including type families, GADTs, data kinds, type-level computation, constraint kinds, and designing ergonomic APIs that leverage the type system for correctness and usability. This includes refactoring existing code to use more sophisticated type-level techniques, debugging type errors in complex type-level code, or architecting new systems with strong type-level guarantees.\n\nExamples:\n- <example>\n Context: User needs help with type-level programming in Haskell\n user: "I need to create a type-safe state machine where invalid transitions are caught at compile time"\n assistant: "I'll use the Task tool to launch the haskell-type-wizard agent to help design a type-safe state machine using GADTs and type families"\n <commentary>\n Since the user needs advanced type-level programming for compile-time safety, use the haskell-type-wizard agent.\n </commentary>\n</example>\n- <example>\n Context: User is struggling with complex type errors\n user: "I'm getting a confusing error about overlapping type family instances and can't figure out how to resolve it"\n assistant: "Let me use the haskell-type-wizard agent to analyze and resolve this type family instance issue"\n <commentary>\n Complex type family errors require deep expertise in type-level programming, perfect for the haskell-type-wizard agent.\n </commentary>\n</example>\n- <example>\n Context: User wants to improve API ergonomics using types\n user: "How can I make this API impossible to misuse by encoding more invariants in the types?"\n assistant: "I'll invoke the haskell-type-wizard agent to redesign this API with stronger type-level guarantees"\n <commentary>\n Encoding invariants at the type level for API safety is a specialty of the haskell-type-wizard agent.\n </commentary>\n</example>