MetaOccursInItself.agda:15,18-19
Refuse to construct infinite term by instantiating _9 to List _9
when checking that the expression x has type List _9