[improve QC.shrink for Type
Helmut Grohne <grohne@cs.uni-bonn.de>**20150305163451
 Ignore-this: ec1a0c1fca9c1e97015790546ca5b5e8
] hunk ./src/Tests.hs 25
-  shrink (AppT a b)      = a : b : [ AppT a' b' | a' <- QC.shrink a, b' <- QC.shrink b ]
+  shrink (AppT a b)      = a : b : map (flip AppT b) (QC.shrink a) ++ map (AppT a) (QC.shrink b)