title: What is the kind of Void?
body: <p>Seeing as the type of <code>Void</code> is uninhabited, can it be regarded as a type "constructor"? Or is this just a quick "hack" to be able to safely disregard / disable functionality and am I looking too deep into this?</p>