自 SE-0244 引入以来，不透明的结果类型已成为类型级抽象的强大工具，允许库作者隐藏其API的实现细节。