pub trait Empty<A> {
    fn empty() -> A;
}