История изменений
Исправление hateyoufeel, (текущая версия) :
Ага. Но эта штука крайне ограничена. А теперь попробуй использовать в refinement type, например, какую-нибудь монадическую функцию.
К слову, эти два механизма не то чтобы противопоставлены и не исключают друг друга. Т.е. тебе никто не мешает их интегрировать, хотя бы в теории. Например, как тут: https://www.tweag.io/blog/2021-02-05-refinement-types/
Исходная версия hateyoufeel, :
Ага. Но эта штука крайне ограничена. А теперь попробуй использовать в refinement type, например, какую-нибудь монадическую функцию.