data S f = S (f Int) (f Float)
이런식으로 정의한 다음에

from :: S Vector -> [S Identity]
to :: [S Identity] -> S Vector

이런식으로 변환자 만들면 클-린 하지 않나
리스트 [ ]는 이터레이터라고 보면 됨.