Posts

Blazingly 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