Type-based amortised resource analysis following Hofmann and Jost---where resources are associated with individual elements of data structures and doled out to the programmer under a linear typing discipline---have been successful in providing concrete resource bounds for functional programs. with good support for inference. In this work we translate the idea of amortised resource ana... https://www.diegojavierfares.com/flash-find-Bushranger-Awning-2-5m-W-x-2-0m-L-2-Year-No-Fuss-Warranty-AW2000-best-save/