class Steep::Subtyping::Check

def cacheable?(relation)

def cacheable?(relation)
  relation.sub_type.free_variables.empty? && relation.super_type.free_variables.empty?
end