Simpler type signatures

Hi,

I played around with your code a bit, and came up with this change to make most type signatures look simpler. What do you think of it?

Greetings,
Joachim