freshHName :: ScpM Var
freshHName = ScpM $ \s -> (s { names = tail (names s) }, expectHead "freshHName" (names s))
freshHName :: ScpM Var
freshHName = ScpM $ \s -> (s { names = tail (names s) }, expectHead "freshHName" (names s))
freshHName = ScpM $ \s -> (s { names = tail (names s) }, expectHead "freshHName" (names s))