Agda.Utils.Cluster

type C

cluster

cluster'