When giving examples, we will sometimes assume multiple concrete base types like N or B for instance,
as it is entirely moral to do so.
Categorizing types as "moral" or not is really funny
idk why but gradual typing papers are nice to read
Compared to when I was trying to read about guarded types or parametricity it's like ahh... a nice calm paper about very nice things
I guess I've only read 2.25 gradual typing papers. It might just as well be that all of the authors of these three papers happened to be good writers