[funcVar, maybe for later, when introduing Typefunctors
martin.hofmann@uni-bamberg.de**20100811132024] hunk ./src/Igor2/RuleDevelopment/Cata.hs 217
+funcVar = tVarE "a" $ forallT ["a"][ (''Functor,"a")] (varT "a")
+