Do-notation in an arrow context is not rebindable