ntype now only express the type of argument.