let x = 1

in  let {- aaaaaaaaaaaaaaaaaaa
        -} y
        : {- bbbbbbbbbbbbbbbbbbbbb
          -} Natural
        = {- ddddddddddddddddd -} 2

    in  x