Data.Function.HT
nest
powerAssociative
compose2