To prevent ambiguity between stream handshake valid, empty list (dvalid=0) and Arrows validity bit the proposal is to change: not(dvalid) -> empty null -> validity