[Typing-sig] Re: Typing persistent data structure