let compose f g x => g x -> f;