# 타입

{{tag>타입 미분}}

- [타입을 미분할 수 있다고?](https://eatchangmyeong.github.io/2022/06/05/how-is-type-derivative-a-thing.html)