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