- Newtypes Are Better Than Abstract Type Synonyms 07 October 2024
- Blazingly Fast™ Type Class Resolution with Tries 19 February 2024
- Fast Map Union and Local Instances Through Instance Types 26 February 2023
-
Coherent Local Instances with Dynamic Types and
ImplicitParams29 August 2022 -
Faking Local Instances with
unsafeCoerce Dict18 March 2022