Comment by fuzztester

That sounds like those corporate types who brush off any complaints by users, by saying "that is corporate policy" :) #sorrycouldntresist

But seriously, according to that link, it seems to me like the zero or empty type is more suitable.

But I am not a PL or type theory expert.