Unboxed union types in Scala via the Curry-Howard isomorphism

bdarfler:

Holy crap Scala types are powerful.

Ya, that’s a really sweet article too.