The type signature for ‘factorial’ lacks an accompanying binding

参考書とかで以下のコードをghciで入力しようと、タイトルのようなエラーがでると思います。
うまくいかないときはファイルに書いてロードするといい。
factorial :: Int -> Int
factorial 0 = 1
factorial n = n * factorial(n-1)

ghciで上のコード一行ずつ入力してもエラーがでます。(宣言はあるけど定義がないなど、、、)
だから、上のコードを一旦拡張子.hsのファイルに記述して:lでロードするといいです。