class RBS::Types::Interface

def sub(s)
  return self if s.empty?
  self.class.new(name: name,
                 args: args.map {|ty| ty.sub(s) },
                 location: location)
end