Tidying a few type inferences