On 3/26/11 2:11 PM, Piotr Szturmaj wrote: > I propose that, Nullable should be an alias (or subtype) of Algebraic, > for example: > > template Nullable(T) > { > alias Algebraic!(T, void*) Nullable; > } Should be Algebraic!(T, void). If that doesn't currently compile, we should make it compile. Andrei