MiniAgda-0.2014.1.9: test/succeed/Prod.ma

data Prod (A : Set)(B : Set) : Set
{ pair : (fst : A) -> (snd : B) -> Prod A B
}