How do you interpret the derivative of that? It's now log(2)*2^A. What does "log(2)" mean as a type here? Do you expand it back out as a taylor series like in

How do you interpret the derivative of that? It's now log(2)*2^A. What does "log(2)" mean as a type here? Do you expand it back out as a taylor series like in the circular list example?