comonoid
pub fn discard<T>(_: T)
Takes ownership of a value and returns (), rendering it unusable.
()