Steffen Mazanek wrote: > is there a function f::[a->b]->a->[b] in the libraries? There is, it's called 'sequence' :) You need to import Control.Monad.Instances though, to get the famous reader monad ((->) a). Regards, apfelmus