A General Abstract Typing Solution date: 2021-01-31T13:47:00+0800 titles: - A General Abstract Typing Solution A general abstract typing solution.