added labeled, and changed rendering of a -> IO b