Agda.Interaction.Exceptions
handleParseException
handleDeclarationException
failOnException