Agda.Interaction.FindFile
data FindError