📝 publish a preprint about viewing amortized analysis coalgebraically