A type whose values can be destroyed.
trait Deinitializable
fun deinit() { sink }
Deinitializes self.