:: MonadState k m => k -> m package:type-map