Posts

• Coherent Local Instances with Dynamic Types and ImplicitParams 29 August 2022
• Faking Local Instances with unsafeCoerce Dict 18 March 2022