Redirecting to Beck's monadicity theorem