let
decide_none _k v = v