Generator.next should be of type seed → A

[robotlolita]

We don't need to bundle the generator with the value it generates, this overcomplicate things unnecessarily. For shrinking the information the Property already got suffices.