Sketching out more types.  Try adding a test-suite.  Having a problem with quickcheck and a dependency problem at the moment.