Packed Data x Haskell = Portable(Type-safety + performance)

'Reimplementing' data-reify for GADTs

Going through the implementation of support for Videos in Meelo

How the project came to be & what the original goals were