scalaz
Union types using Curry-Howard isomorphism
(Since version 7.1) unboxed union types are deprecated
http://en.wikipedia.org/wiki/Curry-Howard_correspondence
http://www.chuusai.com/2011/06/09/scala-union-types-curry-howard/
Union types using Curry-Howard isomorphism
(Since version 7.1) unboxed union types are deprecated
http://en.wikipedia.org/wiki/Curry-Howard_correspondence
http://www.chuusai.com/2011/06/09/scala-union-types-curry-howard/