Why don't we have a composition operator in Pervasives?