SizedTypesScopeExtrusion.agda:28,41-42
∞ !=< i of type Size
when checking that the expression x has type Nat