WIP: make Valuation implicit (not tested)