Type sensitive wildcards for constructors in CFA.