And then "(a -> b)" is arguably clearer than "Cost a b"