Numeric.AD.Internal.Or

data Or s a b

data F

data T

runL

runR

class Chosen s

chosen

unary

binary