Здравствуйте, Блудов Павел, Вы писали:

БП>Вот это повсеместное разделение на Foo и FooImpl это оно и есть.

Не отрицаю, но речь была изначально об особых интерфейсных файлах,
типа *.di вместо *.d, *.fsi вместо *.fs. Все это упрощает компиляцию и инкапсуляцию, но не более.
Если функция не экспортируется/импортируется, думаю излишне ложить объявление сигнатуры в отдельный файл.