a가 주어고 Ord는 술어고 Ord a =>는 타입 한정사야

[기괴공학도(mecheng98)]

타입 a가 클래스 Ord에 속해있어야하지

- dc official App