https://keroseneheaterreview.blogspot.com/2023/02/recursive-type-annotations.html