satisfiesは、「型に合っているかだけ検査して、推論結果はそのまま残す」ための演算子です。型注釈が持つ「型安全性の保証」と、型推論が持つ「具体的な値の使いやすさ」の、いいとこ取りができるのが特徴です。