proptestを使うとテストが捗る