Agda.TypeChecking.Monad.Options
data Target
type VerboseKey