MiniAgda-0.2014.1.9: test/fail/IllegalParameter.ma

-- 2013-04-05

data D (F : Set -> Set)
{ c : D (\ A -> A) }