什么＆＃39; +＆＃39;抽象类型定义是什么意思？

Question

我正在看一个似乎是抽象类型的声明：

 type +'a io

“+”表示什么？

Answer 1

它表示该类型具有与参数类型相关的协变子类型。因此，如果T是U的子类型，则T io是U io的子类型。