That just sounds like a product type with some dynamic checking, no?