Indeed. Consider: Nothing >>= \a -> f a Here, there is no "a" and there never will be, and I could even annotate the type of "a" with something which can neve

Indeed. Consider: Nothing >>= \a -> f a Here, there is no "a" and there never will be, and I could even annotate the type of "a" with something which can never be inhabited (such as Void).