Simon Peyton-Jones said: > Koen, not me! I know that one can get away with the local quantification by adding an extra type parameter to the type constructor: newtype ReadP r a = ... But that wouldn't do much good, would it? Regards, /Koen