Eta-reduced type parameter for Take/Window, for simplicity and parametricity.
Derive Num and Enum instances for Rel and Abs, and make names use "-At" in preparation for the at/by addition.