> I was thinking in terms of concrete types here. Not yet sure how much
> to go into polymorphic type definitions.

Ah, ok, fine then.