Agda.Utils.Three
data
Three
partition3