I agree with you. A type amounts to the sum of operations that are valid on an object conforming to that type. A file object is a very basic, general type, tha

I agree with you. A type amounts to the sum of operations that are valid on an object conforming to that type. A file object is a very basic, general type, that allows open, read bytes, write bytes, close, maybe seek, maybe some ops are restricted (read-only, write-only) etc. I don’t think it is generally appreciated how far it gets you to have a unifying simple interface. You can always add a complex one, you know?