The only implementation of Contains.
Contains
The only implementation of Contains. The constraint that {R} <: C is added separately by the capture checker.
{R} <: C