macos

typing revisited 2020-06-04 typing macos