let x = 42 in x == 42 == True

e = case 1 of 1 -> 1 :: Int + 1