~{fn} :: A.Value