typelevel-summit-2018 Typedapi: Define your API on the typelevel you can find the slides here and a written version here