let x {- foo                                        -} : {- bar                                           -} Bool {- baz                           -} = {- bla                      -} True

in  x