upBase :: GenMap m k v => k -> Hetero m -> Maybe v
lookupBase k = Maps.lookup k ∘ unwrap'

-- =
lookupBase :: GenMap m k v => k -> Hetero m -> Maybe v
lookupBase k = Maps.lookup k ∘ unwrap'
lookupBase k = Maps.lookup k ∘ unwrap'