[TODO updated
martin.hofmann@uni-bamberg.de**20100105140829] hunk ./src/TODO 2
-* pull IO through all MTLs (ok)#
-* add context 
-* proper execution time (ok)
hunk ./src/TODO 9
-* generalise morphisms to arbitrary algebraic data types
hunk ./src/TODO 11
+  
+Open example problem issues:
+ 
+* :s +enhanced; :g eq
+   cata applies to a wrong function after matching --> need quality measure for matches functions ?  