IDE: например, VS & VS Code (+ Ionide) может помочь вам в этом.В противном случае я назначаю выражение явно недопустимой привязке, например:
let x : unit = <the_expression>
Компилятор завершится ошибкой и сообщит вам, что он обнаружил, что не соответствует единице.Если компилятор не выходит из строя, выражение _ является единицей измерения.Я не думаю, что в haskell есть что-то вроде _, чтобы спросить компилятор: «Чего вы ждете здесь?».