Redirecting to Church encoding