@Searke I'm just going to point out
this in case it is of any help. I won't report it, I already report too much, so I'll stick to strictly bugs. I think this is interesting because if I am right in my assumption that
Nothing
aims to be an easier to use, less confusing version of
Sequence[]
then it seems to fail its purpose here.