com.github.plokhotnyuk.dijon
Union types using Curry-Howard isomorphism: http://stackoverflow.com/questions/3508077/
Union types using Curry-Howard isomorphism: http://stackoverflow.com/questions/3508077/