subsBinding :: Name -> [Binding] -> [Expr] -> Expr -> ThrowError Expr
subsBinding fname [] [] ex = return $ ex
subsBinding :: Name -> [Binding] -> [Expr] -> Expr -> ThrowError Expr
subsBinding fname [] [] ex = return $ ex
subsBinding fname [] [] ex = return $ ex