Fair disjunction for monadic implementation