f "b" . f = | "a" -> 1 | "b" -> 2 | "c" -> 3 | x -> 0