runGenBndT :: MonadError Error m => HS.HashSet Binding -> GenBndT m a -> m a
runGenBndT taken (GenBndT comp) = do
    ng <- initNameGen taken
    evaluatingStateT ng comp
runGenBndT :: MonadError Error m => HS.HashSet Binding -> GenBndT m a -> m a
runGenBndT taken (GenBndT comp) = do
    ng <- initNameGen taken
    evaluatingStateT ng comp
runGenBndT taken (GenBndT comp) = do
    ng <- initNameGen taken
    evaluatingStateT ng comp