Re: darcs patch: ObjectIO Data.FiniteMap -> Data.Map fix