fix type errors in main, can now easily concat results from IO proc functions into result IO string from Main