class Steep::Interface::Substitution::InvalidSubstitutionError

def initialize(vars_size:, types_size:)
  @var_size = vars_size
  @types_size = types_size
  super "Invalid substitution: vars.size=#{vars_size}, types.size=#{types_size}"
end