配列クエリの契約は型ではなく実際のwire表現を両端で固定する / PaPut