typ a = (::int)
fun f() : {a: int} = 
    ^a^