pub fn identity<A>(a: A) -> A {
    a
}