fn hkdf_expand_info<F, T, L>(
    secret: &Prk,
    key_type: L,
    label: &[u8],
    context: &[u8],
    f: F
) -> Twhere
    F: for<'b> FnOnce(Okm<'b, L>) -> T,
    L: KeyType,