Text size is remembered as you browse. Motion follows your system preference unless you choose Moving. Hidden on small screens.
A series by Edward Kmett
Codensity, Yoneda, and yielding IO, in reading order.