GHC

Haskell / July 1, 2025

Type-Safe Runtime Dispatch in Haskell

A practical explanation of Typeable, TypeRep, propositional equality, and runtime type-safe dispatch in GHC Haskell.

• Haskell
• GHC
• Typeable
• Type equality