[racket] Is this a good design

From: Raoul Duke (raould at gmail.com)
Date: Wed Feb 29 15:22:08 EST 2012

> but *write it down*.  How are we to know, as reader's of your contract and
> purpose statements, that we have to provide non-empty strings?

er, can you make a new EmptyString type and use that in the contract
part of the comment?

Posted on the users mailing list.