Type Constructor Polymorphism for Scala by