need validation/type inference next