Some quickcheck code, needs to be fixed.
I have got some issues related to having 2 different Quickcheck versions installed, lets see if it builds on the Jenkins server.