>> the same is possible for Haskell - it's possible to add to code type >> signatures deduced by the compiler > Ha! Yes, HaRe also has the facility to do this.... have I plugged it > enough yet? :-) Sounds great! But could you add support for arrows so I can use it for my Yampa experiments? Please? :) ;)