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