|| package:base

Boolean "or", lazy in the second argument
Type-level "or"
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.