- Blazingly Fast™ Type Class Resolution with Tries https://prophetlabs.de/posts/classTries.html 16 comments programminglanguages
- Fast Map Union and Local Instances Through Instance Types https://prophetlabs.de/posts/insttypes.html 9 comments haskell
- Coherent Local Instances with Dynamic Types and ImplicitParams https://prophetlabs.de/posts/coherentIP.html 3 comments haskell
- Faking Local Instances with unsafeCoerce Dict https://prophetlabs.de/posts/unsafeCoerceDict.html 10 comments haskell