In 2017, I - Learned the basic theory behind type systems - Implemented a toy higher-rank polymorphic language - Embedded a Haskell in Racket’s macro system but I still have no idea to style a custom square checkbox next to a select box that scales with the font size with CSS.