type inference ftx