This is already possible to a degree within existing type systems - here’s a small experiment tracking execution time of list comprehensions on the type level

This is already possible to a degree within existing type systems - here’s a small experiment tracking execution time of list comprehensions on the type level in Purescript [0]. [0] https://twitter.com/pkamenarsky/status/961666713900249088?s=21 https://twitter.com/pkamenarsky/status/961666713900249088?s=...