MiniAgda-0.2019.12.13: test/fail/hang.ma

data Empty : Set
{
}

mutual
{


fun F : Set -> Set
{
F x = F x
}

fun f  : Empty -> F Empty
{
f x = x
}

}