ssaResolve :: MonadReader LocalScope m => Binding -> m Binding
ssaResolve bnd = view $ at bnd . non bnd
ssaResolve :: MonadReader LocalScope m => Binding -> m Binding
ssaResolve bnd = view $ at bnd . non bnd
ssaResolve bnd = view $ at bnd . non bnd