Follow me:
@propensive
Slides:
http://jon.pretty.studio/talks/typelevel-data/
Lifting Datastructures
to the Type-Level
Jon Pretty (@propensive)