Add Uninhabited instances for so False

Fixes #1168
Merge pull request #1169 from david-christiansen/so-false

Add Uninhabited instances for so False