construct an interpertor with type inference, continue