Что такое предсказуемость?
У меня есть довольно приличная интуиция о типах, которые Хаскелл запрещает как «непредсказуемые»: а именно те, гдеforall появляется в аргументе для конструктора типа, кроме->, Но что такое предсказуемость? Что делает это важным? Как это относится к слову «предикат»?