Sure it's possible, but are there implementations in use that meet this criterion?

Because if there aren't, then it matters substantially less whether they're possible.