Python’s “Type Hints” are a bit of a disappointment to me
https://www.uninformativ.de/blog/postings/2022-04-21/0/POSTING-en.html
last-modified: 2022-04-22 21:33:44