They are now uninhabited types, so probably don't need to implement anything
They are now uninhabited types, so probably don't need to implement anything