Right. And if we expand that it will find Option[X], and not Option[String]. I guess this is related to what you were mentioning in the standup this morning. I thought the issue was with subtypes, not supertypes. Either ways, it's fine.

Though, one more question, why in the above test you find type A and not A[X]?