밑에 특징들 우선 나열합니다

- high rank type
- Yosemite Lemma
- functor
- let
- mongo
- monad
- monadick
- isomorphism (클라와 서버가 둘다 자스로 스여짐)

일단 이런 특징들이 나열해봤습니다