class Steep::Interface::MethodType

def subst(s)
  s_ = s.except(type_params)
  self.class.new(
    type_params: type_params,
    params: params.subst(s_),
    block: block&.subst(s_),
    return_type: return_type.subst(s_),
    location: location
  )
end