Description
Guides Haskell type inference with proxy values. Proxy values carry type information without carrying meaningful runtime data, helping the compiler choose the intended type.
It is useful for type-level APIs, generic programming, overloaded functions, and libraries where a type must be selected explicitly. It is a developer tool for making advanced type signatures easier to use.