MiniAgda-0.2022.3.11: test/fail/NonLinearPatterns.ma

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