var Some = function ( a_0 ) { if (!( this instanceof Some )) { return new Some (a_0); } this ._0 = a_0; }; var None = function () { if (!( this instanceof None )) { return new None (); } };