Typelevel 2016 Philadelphia - alexy-khrabrov