Typelevel 2016 Philadelphia - f-photo