$ 0 0 » Unboxed union types in Scala via the Curry-Howard isomorphism : How to encode unboxed union types in #Scala via the Curry-Howard isomorphism See it on Scoop.it, via Functionnal programming languages