fn list_length_max<'a>(
    a: Datum<'a>,
    b: Datum<'a>,
    max_layer: usize
) -> Result<Datum<'a>, EvalError>