Agda.Interaction.Response

data Response

data MakeCaseVariant

data DisplayInfo

data Status

data GiveResult

type InteractionOutputCallback

defaultInteractionOutputCallback