Tôi đang gặp khó khăn trong việc hiểu loại Cao hơn hoặc Loại xếp hạng cao hơn. Loại khá đơn giản (nhờ tài liệu Haskell cho điều đó) và tôi đã từng nghĩ xếp hạng giống như loại khi nói về các loại nhưn
Thông thường khi tôi đang chơi với mã Haskell, tôi phân phát các thứ bằng chú thích loại và undefined. foo :: String -> Int
foo = undefined
Có loại "không xác định" loại mà tôi có thể sử dụng theo