Sketch QuickCheck testing of Transformable et al