Потому что есть два типа людей: - Ученые, которые умеют делать языки, но получается хаскель. - Инженеры, которые не умеют делать языки, но любят постоянно переписывать.
В итоге, вместо того, чтоб просто сделать систему макросов, приходится делать свою систему типов и свой язык с нуля, потому что во всех языках системы типов это костыли.