Type-machine

Packed Data Support in Haskell