MiniAgda-0.2014.1.9: 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
}