squash! Implementing Arbitraries