MiniAgda-0.2014.1.9: test/succeed/absurdPattern.ma

data Empty : Set {}

fun magic : [A : Set] -> [x : Empty] -> A
{ magic A () 
}