[instance Size [Pat]
martin.hofmann@uni-bamberg.de**20081126155808
 Don't know anymore why I needed this
] hunk ./src/Terms/Class.hs 87
-
+instance Size [Pat] where
+    size_ done ps = foldr (\p d -> (size p) + d ) done ps
+    