- Generic Coerce - February 3, 2021
- Overriding Type Class Instances - September 12, 2020 (originally written April 10, 2020)
- Row-Types Metamorphism - June 14, 2020
- Row types for CSV library - June 1, 2020 (originally written July 23, 2019)
- Typed Errors - June 1, 2020 (originally written April 8, 2019)
- Type Surgery - June 1, 2020 (originally written April 8, 2019)