Здравствуйте, vdimas, Вы писали:
V>Что означает, что у F(T) несомненно ДРУГОЕ представление в памяти, т.е. памяти может потребоваться больше.
Обычно так, но в некоторых языках бывают и исключения. Например, в Расте Box<T> и Option<Box<T>> представлены в памяти одинаково, потому что первый не может быть нулем, а второй это значение и использует в качестве None.
V>Только какие проблемы повторить тоже самое с ссылочными (nullable) типами в том же дотнете или C++?