unique type이 있으면 암만해도 하스켈같이 유연한 코드 재사용이 힘들것 같음..

당장 functor만 해도 immutable을 전제로 정의한거라 unique type에서 제대로 정의하기 힘들것 같고

fp + lazy eval + gc 조합이 진짜 찰떡 궁합이기는 한것 같음