Would also recommend https://types.kitlangton.com/ https://types.kitlangton.com/ as a companion — sometimes many examples can illustrate the point more succinct

Would also recommend https://types.kitlangton.com/ https://types.kitlangton.com/ as a companion — sometimes many examples can illustrate the point more succinctly than text.