Понимание ленивого вычисления в Haskell

Я пытаюсь изучить Haskell , но я застрял в понимании ленивой оценки . Может кто-нибудь объяснить мне ленивую оценку в подробности и результат следующих 2 случаев [с объяснением] относительно приведенного ниже

Псевдокода:

x = keyboard input (5)
y = x + 3 (=8)
echo y (8)
x = keyboard input (2)
echo y

Случай 1: Статическое связывание, ленивое вычисление

Случай 2: Динамическое связывание, ленивое вычисление.

Мне нужно знать, что будет печатать последняя строка ( echo y ) ... в двух вышеупомянутых случаях.