MiniAgda-0.2014.1.9: test/fail/NonLinearPatterns.ma

fun nonlin : Set -> Set -> Set
{ nonlin X X = X
}