GHC의 형식 시스템은 Rank2Types 및 RankNTypes 언어 확장을 사용하여 형식에서 임의 순위의 명시 적 보편적 양화를 지원합니다.
Rank2Types
RankNTypes