Restricted version of binary-list dependency.