poyo
improve type inference