Comment by phplovesong

To be honest you could easily mark this as an additional (adt) type if that suits you better. Its a halting situation no matter how you twist it.