что было до ЦФ я понятия не имею. но в смысле аксиоматического обоснования -- ноги растут из ЦФ, и встречается название ZF-notation. насколько корректное -- не разбирался
но справедливости ради, во всех русскоязычных околоматематических источниках которые я читал этой нотацией пользуются, не особо задумываясь как её называть.
Чисто теоретически можно ли как-то инжектнуть длл хаскеля? Вижу очевидную беду в том, что для этого нужно сначала запустить RTS, а после завершения нужных действий погасить.