타입 시스템 1

• [번역] Point-Free #4 대수적으로 알아보는 타입 체계 2020/02/16