declare fun {Compose F G} fun {$ X} {F {G X}} end end