Comment by foldr

Doesn't this allow four distinct representations of zero?