Para declarar o tipo de uma função você deve:
- definir a função e deixar que o GHC deduzir o tipo por conta própria, ou
- definir o tipo e a função no mesmo arquivo.
É provável que você tenha escrito só o tipo mas sem a definição, o que não é válido. Se quiser só anotar o tipo e definir a função só depois, você pode usar undefined
:
addThree :: Int -> Int -> Int -> Int
addThree = undefined
Obs.: quando eu digo "só depois", quer dizer você voltar no arquivo, apagar undefined
e colocar a definição desejada, já que em Haskell é impossível atribuir novos valores aos nomes já definidos, como acontece em linguagens imperativas.