Posts tagged "functional dependencies" Typed type-level programming in Haskell, part I: functional dependencies - June 29, 2010