add checkInput setOutputType for tys