Move id() into a Prelude file.

I couldn’t think of a better name.
Add fix().

h/t @CodaFi.
Use fix() to produce enumerators from reducibles.