Stuff concerning sized types.