Characteristic predicate YesNoBranch :: YesNoBranch
YesNoBranch
(
)