Agda.Interaction.MakeCase