разница между (a -> a) и a -> a

Я заметил это (хотя мне однажды сказали, что (a -> a) и a -> a означает то же самое), Я получаю сообщения об ошибках, когда использую (a -> a) . Должен ли я использовать только (a -> a) при использовании скобок среди типов? (т.е. (5 + 3) вместо 5 + 3 )? Просто не совсем уверен, когда это необходимо.