s0 = State (fst <$> guys0) guys0 ((_2 %~ reverse) <$> girls0)