YOLO_TTT

Type和TypeClass是Haskell类型系统中最基础的两个概念。虽然基础，但其中的内容也是很有趣的。

最近的项目中，要把合作方的内容接入公司的小程序中做展示。我们的小程序跨微信端和飞书端，而合作方的图片为了防盗链加入了referer检查，所以在没有办法正常展示。

在Haskell官网的示例中，只用了短短三行代码，就实现了素数的遍历，让我们来窥探一下其中的奥秘吧。