Некоторое время назад я думал, что типы значений Nullable <> - это классы, инкапсулирующие типы значений и тип bool для HasValue. С некоторым неявным оператором приведения к null, только что реализованным в BCL.
Но как быть структурой, как этого можно достичь? Nullable <> struct является «специальной» для CLR?