example-based generation from Instack is working.
write property-based generator.