Update 2014-05-20-scala-gadts.markdown