This would result in the infinite type 'a = 'a * 'a, which is caught by the occurs check.
{{ {{ {{ {{ {{ {{ {{ {{ {{ {{ {{ {{ {{ {{ {{ {{ {{ {{ {{ {{ {{ Таксанамічны шаблон «Catocala disjuncta» з’яўляецца элементам сістэмы таксанамічнай навігацыі, якая ўжываецца ў шаблоне {{[[Шаблон:{{{Expansion depth limit exceeded}}}|{{{Expansion depth limit exceeded}}}]]}}, і прызначаны для забеспячэння адзінства класіфікацыі біялагічных таксонаў.