Support for discriminated unions should be added. Things like "could be a Foo
or a Bar" should be possible, to support contractual programming and other
nifty stuff along those lines.
The full extent of possibilities here needs to be explored carefully.
Original issue reported on code.google.com by don.ap...@gmail.com on 15 Feb 2012 at 8:04
Original issue reported on code.google.com by
don.ap...@gmail.com
on 15 Feb 2012 at 8:04