class Steep::Subtyping::Check

def check(relation, constraints:, self_type:, instance_type:, class_type:)
  with_context(self_type: self_type, instance_type: instance_type, class_type: class_type, constraints: constraints) do
    check_type(relation)
  end
end