Add Uninhabited instance for Any p []

This lets users use `absurd` to discharge proof obligations about Any.