Um, can you give me an example? (Can you give an example without naming it?)
Types that cannot be written, or are too long to be reasonably written, are likely to also be too hard to really understand. Maybe their existence should be regarded as a code smell.