This paper presents λ-amor, a new type-theoretic framework for amortized cost analysis of higher-order functional programs and shows that existing type systems can be embedded in it. λ-amor introduces modal representing potentials – costs have been accounted for, but not yet incurred, which are central to analysis. Additionally, relies on standard concepts like affineness, refinement types an i...