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