andrew wrote: > functors (or constructor functions, or structured types, > or whatever you want to call them) until now i understood `functor' as sth that operates on a function and yields a new function. is this completetely off the road? andrew, you seem to know ml, haskell and prolog. maybe you can provide or point to a short, but technical description of these? rainer