Agda.Utils.Three

data Three

partition3