cartesian-streams-via-adamek-theorem