let s1 = @ann (x->foo)
let s1b = (@ann x)->foo

let s2 = @ann (x->foo)
let s2b = (@ann x)->foo

let s3 = @ann (x ** foo)
let s3b = (@ann x) ** foo
