[fix lgg on Type
Helmut Grohne <grohne@cs.uni-bonn.de>**20150306100728
 Ignore-this: d102c591f6c07ebd374cae64a27612a2
 
 Consider the lgg of "a" and "Eq b => b". The Eq instance needs to be dropped,
 as "a" is not an instance. Igor would return all available instances for "a"
 and just Eq for "b". The intersection of both would result in just Eq. Worse,
 new Ord instances when there are no restrictions at all.
 
 This fixes the lggTypeAssociative quickcheck test.
] hunk ./src/Syntax/UnifyTy.hs 194
-collectPreds vnm is (VarT _) = return . map (flip mkPred vnm . fst) $ is
-collectPreds vnm is t =    
+collectPreds vnm is (VarT _) = return []
+collectPreds vnm is t =
