A toy language with type inference