Calculating sized types - Chin, W.-N. (2013)
10.1023/A:1012996816178