個人的には `xs` を名乗るなら多相的にしてほしいかな
scalaz は関数型の影響をもろに受けてるのでこんなかんじです　https://github.com/scalaz/scalaz/blob/master/core/src/main/scala/scalaz/Bind.scala