[nem-en] Re: typeof for unbounded polymorphic type

[Vladimir Reshetnikov]

Why 

variant V { | A | B }
def x = [V.A : void -> V, V.B : void -> V]

works, but either

variant V { | A | B }
def x = [V.A, V.B] : list[void -> V]

or

variant V { | A | B }
def x = [V.A, V.B]

does not work?