MiniAgda-0.2014.1.9: test/succeed/non-record.ma

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