Idea on *-comprehensions.