bind :: Var -> Out Term -> ScpM ()
bind x e = modify (\s -> s { outs = (x, e) : outs s })
bind :: Var -> Out Term -> ScpM ()
bind x e = modify (\s -> s { outs = (x, e) : outs s })
bind x e = modify (\s -> s { outs = (x, e) : outs s })