Как проверить тип локальной переменной?

Простой вопрос. Можно ли проверить тип переменной, которая существует только в функции?

Например:

main = do
       x <- something

Как я могу проверить тип x ?

Я не могу сделать : введите x в ghci, потому что x не является глобальным.