Agda.TypeChecking.Positivity.Occurrence
data Occurrence
data OccursWhere
data Where
boundToEverySome
productOfEdgesInBoundedWalk