こういう事ってできますか？（実際はもっと複雑ですが要約するとこんな感じです）

f :: a という関数シグネチャがあって、この関数 f の定義として、
a が Int 型だった場合のみ特別な事をして、そうでない型の場合は一般的な事をする。

f :: Int
f = 特別な何か

f :: a
f = 一般的な何か

みたいな。