MiniAgda-0.2014.1.9: test/succeed/list.ma

data List (A : Set) : Set
{
  nil  : List A ;
  cons : A -> List A -> List A
}