let x = True

let {- 0 -} y
    {- 1 -} : {- 2 -} Bool
    = {- 3-} False

in  x