MiniAgda-0.2022.3.11: test/succeed/UPolyList.ma

data List [i : Size](A : Set i) : Set i
{ nil  : List i A
; cons : A -> List i A -> List i A
}