Parameter（参数）用来表示“出现在子句（或类型定义）头部的变量”，
Argument（参量）用来表示“出现在目标（或类型的实例）中的值”。
换句话说，Arguments（参量）就是对 Parameters（参数）的具体化。
