Everything Should Be Typed: Scalar Types Are Not Enough
https://sot.dev/everything-should-be-typed.html
46800306