Ideas on type inference

TypeScript sans annotations