Dependent types in Haskell, Part 3

submitted by /u/ketralnis
[link] [comments]