Agda.TypeChecking.Coverage
type Covering
data SplitError
type CoverM