Thoughts about potential 4th coverage typings

[unborn edge]

(I'll put this in an extra thread now or else it will just get completely lost in here 👀 )