Таки воскресенье провёл не зря. Наконец-то у меня вышло донастроить емакс + хаскель-мод. Теперь оно дружит с сандбоксами, умеет к любой фигне вывести тип, умеет автоматом тип этот написать, ну и REPL с одноклавишной загрузкой туда файла на "поиграться".