start with type inference