Agda-2.3.2.2: test/fail/Issue390.err

id: epic-0.9.3.0.0-5efe6aa44837a84174d079b65b7aec45

Panic: Where is main? :(