fun f() : {} = 
    ^a^