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