|| package:base-prelude

Boolean "or", lazy in the second argument
Fanin: Split the input between the two argument arrows and merge their outputs. The default definition may be overridden with a more efficient version if desired.