Dependent Types in Haskell, Part 4 (via ehamberg) — discussion

#haskell