Blog Archive
2021
- Leibniz equality in Haskell, part 2: heterogeneous equality
- Leibniz equality in Haskell, part 1
- GHC curiosities: Equality constraints in kinds
- Why kind-level foralls don't interact with ScopedTypeVariables
2020
2019
- Four ways to partially apply constraint tuples
- How GHC 8.8 nearly killed singletons
- The surprising rigidness of higher-rank kinds
- On the arity of type families
- Visible dependent quantification in Haskell
- Proxy arguments in class methods: a comparative analysis
2018
- QuantifiedConstraints and the trouble with Traversable
- How QuantifiedConstraints can let us put join back in Monad
- How to derive Generic for (some) GADTs using QuantifiedConstraints