Candidates for sized-types