CoinductiveBuiltinList.agda:11,18-21 List .A !=< ∞ (List .A) of type Set when checking that the expression _∷_ has type .A → List .A → List .A