Make infer take only one type instead of a list.