Macro mononym::exists_single

macro_rules! exists_single {
    ($exists : ident($name : ident : $type : ty) => $proof : ident
 $(< $($proof_param : ident), + $(,) ? >) ?
 ($($suchthat : ident $(: $suchtype : ty) ?), * $(,) ?) $(;) ?) => { ... };
}