Это, вероятно, невозможно, так как я уже проверил список всех расширений GHC, и этого там нет, но я думал, что попрошу на всякий случай.
Есть ли способ сделать это так, чтобы 2
имел тип Int
(или Integer
), а не обычный Num a => a
?
(Причина, по которой мне хотелось бы, чтобы это поведение было более ясным, и сделать вывод типа более вероятным (esp с типами классов). Я всегда мог писать (2:: Int) всюду, но я бы предпочел "более безопасное" поведение будет менее явным)