Je ne sais pas, le texte original parle bien de « value », en effet, on va facilement définir quelque chose comme

```
abc :: String
abc = "abc"
```