Hi Ralf, I'm looking for a function like extT but with more general type: (t a -> s a) -> (t b -> s b) -> (t a -> s a) Is there such a thing in the generics library? Thanks, Frederik -- http://ofb.net/~frederik/