Internal functions for the package proptest. Usually not to be directly called by users.
David Kraus (http://www.davidkraus.net/)