Agda.Interaction.GhcTop
mimicGHCi