Merge pull request #19 from mainland/master
authorEdward Kmett <ekmett@gmail.com>
Tue, 16 Sep 2014 21:03:24 +0000 (17:03 -0400)
committerEdward Kmett <ekmett@gmail.com>
Tue, 16 Sep 2014 21:03:24 +0000 (17:03 -0400)
Fix compilation with GHC HEAD.


Trivial merge