mbrcknl/btree-gadt — pull request #1 by larsrh (2013-05-16 15:12:16+00:00)
Title: Minor code improvements

I didn't yet come around to watching the screencast, but the code does look awesome. This pull request tweaks the final code a bit:

* remove some data types/constructors (are those leftovers from hole-driven style?)
* add some kind constraints
* use `List.nub`