Package Highlight: newtype-generics
A package highlight on newtype-generics, safe coercions, and a smaller type-family approach to recovering underlying newtype representations.
Notes
Haskell, programming, and careful machinery.
Essays and working notes on Haskell, programming, tutoring, and the tools that shape how software gets made.
Latest writing
Type-Safe Runtime Dispatch in Haskell
A practical explanation of Typeable, TypeRep, propositional equality, and runtime type-safe dispatch in GHC Haskell.