Typehint matchers on combinations