TIL: Determining output types from input