Есть ли способ добавить шаблоны, тип подписи к функции в GHCi?

Нет. Вы не можете добавить новые шаблоны или сигнатуру типа к функции в GHCi после того, как вы запустили оператор, определяющий ее в оценщике.

В этом отношении вы также не должны рассматривать это как «добавление» построчно в исходном коде. Это просто удобство записи. Итак, когда вы смотрите на «многострочное» определение, например:

foo :: [a] -> [a]
foo [] = []
foo (x:xs) = x : foo xs

Все эти определения foo должны быть связаны вместе как группа. Вы не можете разделить их... например, это вызовет ошибку:

foo :: [a] -> [a]
foo [] = []

bar = 3

foo (x:xs) = x : foo xs

(Примечание. Однако сигнатура типа может быть разделена. Подробную информацию о том, насколько далеко она может быть разделена, см. в разделе Как определяется гранулярность блоков в Haskell? )

Чтобы собрать вещи в группу, вы можете использовать многострочный ввод в GHCi. Или вы можете сделать все это в одной строке с точкой с запятой:

let foo :: [a] -> [a] ; foo [] = [] ; foo (x:xs) = x : xs

Но вы не можете ввести входные данные, протестировать их, затем вставить и удалить отдельные шаблоны и снова протестировать их. Вся функция переопределяется с каждым let.

Использовать многострочный ввод:

Prelude> :set +m
Prelude> let
Prelude| foo [] = []
Prelude| foo (x:xs) = x : foo xs
Prelude| 
Prelude> foo [1,2,3]
[1,2,3]