sized-types-0.1: Sized types in Haskell.