いま手元で Array<P1> なプロパティがあって、 Array<X : P0> を受け取る関数に渡したいんだよね