[Haskell] [Types] TYPES annual workshop in Aussois, France.