Re: [jhc] darcs patch: Improve lambda/pi printing code