Be able to switch granularity #2
Description
Some want a cheat sheet with small examples per topic, some may want to learn more (e.g. "Why not use null?") or even the theory behind (sum/product types, GADT, functors...).
Maybe a way to switch similar to #1? Or a link to a dedicated page for that topic with more information, both practical and theoretical.