Могу ли я получать предупреждения о чрезмерно ограничительных подписях типов?

Может ли GHC или какой-либо инструмент lint сказать мне, когда я предоставил сигнатуру типа для функции, которая могла бы быть более полиморфной?