타입시스템을 편하게 조작할수 있고, 그걸로 막 이것저것 해대니까 재밌는거같음

union type으로 패러매터에 들어가는 value 자동완성 되는게 젤 좋은듯