the extremely oversimplified version is that you pick "correctly" (meaning in the way that gets the most natural equivalences) between eagerness and laziness for each sort of type, so computations (functions) are lazy, but data structures (tuples, structs, whathaveyou) are eager
