type synonym for ADB -> IO