class Steep::Subtyping::VariableVariance

def initialize(covariants:, contravariants:)
  @covariants = covariants
  @contravariants = contravariants
end