Give the type-checker hints to avoid annotations