Add Jeuring's paper on testing typeclass laws