Comment by tjadfsaj

Nonempty type wrappers are a stark reminder that we are missing out on refinement types.