"Multiple conformance"?

I know it is possible to ensure object conformance or handle an object
with an abstract reference such as a generic with [G -> BOUNDED] or in
a feature a(data: BOUNDED but is there a way to ensure multiple
conformance or handle an object by multiple abstract references such as
[G -> BOUNDED, INDEXABLE] or a(data: BOUNDED INDEXABLE) such that G
conforms to both BOUNDED and INDEXABLE and 'data' inherits both BOUNDED
and INDEXABLE?

I guess you could do a runtime assignment of 'data' with ?= but I'm
wondering if there's a more elegant solution than creating a deferred
class that inherits both BOUNDED and INDEXABLE and then making sure the
class inherits from that class.

Is this possible?  Is this possible in any language that uses multiple
inheritance of classes or interfaces without using dynamic typing?