関数型言語屋はそういう定義を使うことが多いね(偏見かな)