strictFunctionTypes
関数代入時の型checkを厳格にする
関数代入時の引数の型チェックにおいて、
falseならbivariantで、trueならcontravariantになる
これは、method型には適用されない
method型はbivariantのまま
ref 関数なのかmethodなのかで変性が変わる
https://typescriptbook.jp/reference/tsconfig/strictfunctiontypes