Насколько логично относиться к 'void' или 'Unit' как к обычному типу ?
Скажем, логично ли требовать чтобы код с обычными типами работал и с void ?

К примеру с типами все ясно

function f(a : number) : number {..}
function g() : number {..}
function h(c : number, d : number) {..}

var x = f();
f(g()); // OK
f(x); // OK
h(f(), g()); // OK

А с void ?

function f(a : void) {..}
function g(b : void) {..}
function h(c : void, d : void) {..}

var x = f();
f(g()); // OK ?
f(x); // OK ?
h(f(), g()); // OK ?