A more parsimonious approach, however, would be to indicate a datatype library at the top level.

• 但是,一个更简便的方法是在顶层指明数据类型库。