Higher-order functional morphology library.