Posts
Newtypes Are Better Than Abstract Type Synonyms
07 October 2024Blazingly Fastâ„¢ Type Class Resolution with Tries
19 February 2024Fast Map Union and Local Instances Through Instance Types
26 February 2023Coherent Local Instances with Dynamic Types and
ImplicitParams
29 August 2022Faking Local Instances with unsafeCoerce Dict
18 March 2022