Am 28.01.2011 18:04, schrieb Antoine Latter: > I would want to port over 'many' to be the one exported from > Applicative as well. yes, me too, but I would define the Alternative instance using parsec's current optimized many and many1 definitions for Control.Applicative.many and Control.Applicative.some. C.