[quickcheck: lgg must succeed on kind-correct Types
Helmut Grohne <grohne@cs.uni-bonn.de>**20150309130925
 Ignore-this: dcb3317598b2fa191d61e3b3e7da3140
] 
<
[simplify isTuple and isAnyTuple without TemplateHaskell
Helmut Grohne <grohne@cs.uni-bonn.de>**20140717084230
 Ignore-this: 3bb9e59d15a53053c78df69001431229
] 
[work around unhandled runtime error passing by catchError
Helmut Grohne <grohne@cs.uni-bonn.de>**20140108073945
 Ignore-this: 60b21165b086517cb697ed19c7fe368e
] 
[use throwError where possible
Helmut Grohne <grohne@cs.uni-bonn.de>**20140108091026
 Ignore-this: e06ab5b6869087360b7a19fc56a8c2c4
 Since the use of fail changed in past GHC releases, part of the code base now
 uses throwError instead. The biggest part is the introduction of an Error e
 requirement to many of the functions to be able to use throwError. As a side
 effect of this change, interactive igor2 no longer dies on a syntax error.
] 
[simplify the data type Type
Helmut Grohne <grohne@cs.uni-bonn.de>**20150209153158
 Ignore-this: 7e09228772a1b15bc375449fc28502cf
 
 Remove constructors ArrowT, ListT and TupleT. These can also be represented as
 compositions of AppT and ConT. Re-define their lower-case constructors suitably
 and improve pretty-printing to cover for these cases.
] 
[introduce abbreviations for ConT ''SomeType
Helmut Grohne <grohne@cs.uni-bonn.de>**20150309120412
 Ignore-this: 64a67504fd0dcf02ce0b8c1ef97f933d
 
  * Allows using these constructors in modules that do not enable TH.
  * Simplifies refactoring of the ConT constructor (e.g. adding kinds).
] 
[quickcheck: improve instance Arbitrary Type
Helmut Grohne <grohne@cs.uni-bonn.de>**20150309120623
 Ignore-this: cf9254a6ad445251e779d554d9449696
 
 Now the generated Types have kind * and they do kind-check now.
] 
> hunk ./src/Tests.hs 90
-    ) `safeCatchErrorC`
-    QC.discard -- Probably an invalid type like: AppT (VarT x) (VarT x)
+    ) `safeCatchErrorC` error "lgg failed"
+