유형 가족 : 최상위 수준 vs. 연결된

Question

방금 ​​유형을 배우기 시작했습니다. GHC 문서에는 최상위 레벨 및 관련 유형 패밀리가 동일한 기능을 가지고 있지만 작성중인 코드는 패밀리가 연결될 때와 다른 방식으로 최상위 레벨에서 작동합니다. 이는 컴파일과 잘 실행 :

{-# LANGUAGE TypeFamilies #-} 
module Test where 

-- type family R a 
-- type instance R Maybe = Int 

class C' a where 
    type R a 
    getInt' :: a Int 
    getBool' :: R a -> a Bool 

instance C' Maybe where 
    type R Maybe = Int 
    getInt' = Just 3 
    getBool' i = Just $ i < 10 

printer :: IO() 
printer = print $ (getBool' 5 :: Maybe Bool) 

을하지만이 나에게 타입 에러 제공 :

{-# LANGUAGE TypeFamilies #-} 
module Test where 

type family R a 
type instance R Maybe = Int 

class C' a where 
    -- type R a 
    getInt' :: a Int 
    getBool' :: R a -> a Bool 

instance C' Maybe where 
    -- type R Maybe = Int 
    getInt' = Just 3 
    getBool' i = Just $ i < 10 

printer :: IO() 
printer = print $ (getBool' 5 :: Maybe Bool) 

이 나에게 동일한 모양을; 왜 컴파일되고 다른 컴파일은되지 않습니까? 나는 오른쪽 종류에만 관련된 유형의 가족을 위해 추정되는 어떤 이유가 있다고 생각하지 않습니다

type family R (a :: * -> *) 

: 당신이 종류의 주석을 경우

Answer 1

두 번째는 작동합니다.