sized-types-0.5.1: Sized types in Haskell using the GHC Nat kind.