Writing RBS files, especially for standard libraries, requires a lot of duplications. (Example: File.open, Pathname#open, Kernel#open, CSV.open, ...) They are sometimes essentially depending types ...