Typing the inputs to what in particular