@hackage / creditmonad

Reasoning about amortized time complexity