Content gt-lib page refined types and smart constructors sum types and static exhaustiveness checks taming the null pointer safe escaped strings safe show strings (shows`foo ${3} bar`) global and local configuration, statically ensured static dependency injection statically checked roles/permissions statically checked resource access statically scoped resource lifetimes statically restricted effects deep immutable updates statically calculated partial record fetch Gen rename ‘why’ path page namespaced modules import of page namespaced modules output testing Smoke test in firefox test in edge UI output jank on replay output text size vs body text size module section bottom margin module section border color body bottom padding toc heading and styling home page link UX optional editor loading browser/device detection -> editor load default