Posts

• The quantified constraint trick - September 21, 2022
• Defunctionalizing dependent type families in Haskell - January 16, 2021
• Higher-rank types in Standard Haskell - March 25, 2019
• Overloaded type families - September 29, 2018
• Haskell with only one type family - August 6, 2018
• Type is an extensible GADT - July 9, 2018
• Deriving instances with a twist - July 8, 2018
• Heterogeneous lists with dependent types in Haskell - June 6, 2018
• Deriving Show for higher-kinded types - March 3, 2018
• Making a Show with reflection - October 21, 2017