Re: [scala] Conformance to bounds in higher-order type parameters

Wow interesting!
I think i remember that "type constructor polymorphism" reading somewhere, need to put it in context. Thanks for sharing!