Hello,is there a function f::[a->b]->a->[b] in the libraries? Couldn't find one usinghoogle although this seems to be quite a common thing...Steffen