Implementing union types in Scala · HackerTrans