This function would have the following type: ```hs nonNullValues :: MonoidMap k v -> [v] ``` Its semantics would be identical to the following function from `Data.Map`: ```hs elems :: Map k v -> [v] ```