:: MonadState k m => k -> m package:stack