welltypedwit.ch

Violating memory safety with Haskell's value restriction

Newtypes Are Better Than Abstract Type Synonyms

Blazingly Fast™ Type Class Resolution with Tries

Fast Map Union and Local Instances Through Instance Types

Coherent Local Instances with Dynamic Types and

Faking Local Instances with