[Rule instance of Typed
martin.hofmann@uni-bamberg.de**20090831172214] hunk ./src/Data/IOData.hs 210
-
hunk ./src/Data/Rules.hs 66
+    
+instance Typed Rule where
+    typeOf r = mkArrowT $ (map typeOf (lhs r))++[typeOf . rhs $ r]    