это да. ну вот проблема нынешних плагинов к IDE в том, что сигнатуру типа получить средствами языка невозможно. это нормально для самого языка, но вот плагинописателям трудно.
к чему и статья там выше, про то, что пришлось ревёрс-инжинирить бинарные .elmi
- файлы, чтобы вытащить оттуда сигнатуры типов :)