Case binding, tail