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