type inference for dummies