Is there any way to exclude 'Nothing' from valid types without restricting oneself to a linear inheritance path?

Question

I must admit I am hoping beyond hope here, but have stumbled upon this issue yet again in a situation which I would really like to make work somehow. My problem is related to co