Agda.Interaction.Response
data Response
data MakeCaseVariant
data DisplayInfo
data Status
data GiveResult
type InteractionOutputCallback
defaultInteractionOutputCallback