prox part 1 - type level programming February 10, 2019 prox scala typelevel dependenttypes 2092 words