worked on type inference