ceylon/ceylon-compiler — comment on commit d6c13b39cc8e66f663368161872403bf45f20e3e
File:  line 0
By quintesse:

Yes the ProducedType is Model already but we have quite a number of ways of easily creating our own ProducedTypes if we want to. And we're not even keeping the TypeParameter around, we use it to generate some java code and *that* is what we store in the builder. So it's not something important but I obviously care about it a bit more, so if you ever encounter the moment you think it's becoming silly to keep doing it "my way" just tell me and I'll either agree with you or volunteer to make the change myself :)