[Typing-sig] Typing persistent data structure