šŸ“ publish a preprint about viewing amortized analysis coalgebraically