Package Highlight: newtype-generics
A package highlight on newtype-generics, safe coercions, and a smaller type-family approach to recovering underlying newtype representations.
Category
Haskell
Type-Safe Runtime Dispatch in Haskell
A practical explanation of Typeable, TypeRep, propositional equality, and runtime type-safe dispatch in GHC Haskell.