Agda.Interaction.CommandLine.CommandLine
data ExitCode a
type Command a