Data.Function.HT

type Id a

nest

powerAssociative

compose2