let compose f g => (@ c x => g x -> f);