Void is confusing as in C it's used for void* pointers, which are more
akin to dynamically typed pointers. The name Never more clearly
indicates that something (e.g. returning) will never happen.