[further tweak Term Type instance's equal
Helmut Grohne <grohne@cs.uni-bonn.de>**20150210114800
 Ignore-this: dd96765b7a84dd36ca9a70dd19dd0e32
 
 This function really sits in a busy cost center. By saving one (:) it seems
 that we can save 7% of allocations and 0.4% of runtime.
] hunk ./src/Syntax/Type.hs 204
-    equal s t = and $ ( sameSymAtRoot s t ):( on (zipWith equal) subterms s t )
+    equal s t = sameSymAtRoot s t && and (on (zipWith equal) subterms s t)