Hello, I try to use StableNames for hash consing on complex types - I have to mix in a same table StableNames of different types - and I wonder why StableName is of kind * -> * and not *. Best regards, Nicolas Oury