type precate 동작

InferArgument

generic