Re: darcs patch: Export the Positive constructor.