[eigenket]

I don't think that's a super helpful description, because probably most people wouldn't call IO a datastructure.