y = \f -> compose f f;