FlattenOr
ImplicitDisjunctionOps
flatten
FlattenOr
fp
sutils