それだとプロパティの first が Sequence に生えてても良さそう？