Как сохранить гибкость сильного набора текста в Haskell?

Я писал растущую базу кода на Haskell. Моя проблема в том, что я добавил сигнатуры типов к функциям на основе того, что GHCI говорит мне, что они должны быть.

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

Типы, полученные при загрузке модуля в ghci, слишком специфичны? Как мне решить, какой тип или классы типов использовать в моих подписях, чтобы использовать мощь строгой типизации с некоторой гибкостью? (т.е. не тратить час на распространение мелких изменений?).