Technical writing by Axion.https://blog.axionbuster.com/https://blog.axionbuster.com/haskell/package-highlight/newtype-generics/https://blog.axionbuster.com/haskell/package-highlight/newtype-generics/A package highlight on newtype-generics, safe coercions, and a smaller type-family approach to recovering underlying newtype representations.Tue, 01 Jul 2025 00:00:00 GMTHaskellPackagesNewtypeGenericshttps://blog.axionbuster.com/haskell/type-safe-runtime-dispatch-in-haskell/https://blog.axionbuster.com/haskell/type-safe-runtime-dispatch-in-haskell/A practical explanation of Typeable, TypeRep, propositional equality, and runtime type-safe dispatch in GHC Haskell.Tue, 01 Jul 2025 00:00:00 GMTHaskellGHCTypeableType equality