[Typing-sig] How to extend Type or how to type a wrapper class