Agda.TypeChecking.Positivity
data Item
data Node
data Edge