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

in  x