haskell中的设计模式：NewType

为了提高类型签名的可读性，我们经常使用type关键字为现有类型创建别名。比如，一个平面上的坐标通常由两个整数表示，这一点非常明显。但如果省略类型注解，就无法直观地看出这个二元组是用于表示位置（Position）还是其他用途。为了解决这一问题，我们可以采用抽象数据类型的