Getting the hang of property based testing library