Agda.Interaction.Options
type Flag opts