Agda.Utils.Cluster
type
C
cluster
cluster'