Represents a discrete (non-refinable) value that can be revoked. Is isomorphic to Closeable[Discrete[A]].
Closeable[Discrete[A]]
Discrete, Closeable