Choice and ArrowChoice instances for ReifiedMonadicFold