하스켈 에러메시지 질문입니다

저도 하스켈 잘 모릅니다. 전에 조금 공부해서 답글을 달았습니다.
그래도 제 답이 엄밀하지는 않겠지만 어느 정도 답은 된다고 생각합니다.
컴파일러가 모든 것을 정확하게 따져서 완벽한 메시지를 주지는 않겠지요.
하스켈은 형을 다 안 써 주어도 형을 유추하니까 컴파일러가 형을 유추해 나가다가
모순이 일어나는 곳에서 컴파일 오류를 내겠죠.그때에 잘못된 점을 메시지로
출력할 것이고요. 자기가 모든 것을 따져보지 않아도 모순이 있음을 알 수 있겠지요.
즉, 뒤에 있는 t가 무슨 형인지 따져보지 않아도 결과가 y:ys 형인데 y가 [a]형이니까
[[a]]형이 최종 결과라고 판단하고 오류를 냈을 것으로 보입니다.

저도 잘 모르지만 모나드는 type class인데 어떤 형이 특정 인터페이스를 가지면
해당 type class에 속하는 type이 됩니다. 모나드의 경우 return과 >>=, 이 둘이었던 것 같은데
List도 모나드라는 말은 List에도 return과 >>= 인터페이스가 있다는 말입니다.
같은 return과 >>=라도 거기서의 모나드가 무엇이냐에 따라서 해당 형의 return과 >>=를 쓸 것이고요.
return은 a라는 형을 모나드로 싸서 돌려 주므로 List의 경우 [] a가 결과가 됩니다.
저 return이 IO 모나드의 것이었다면 IO a가 되었겠지만요.

컴파일이 큰 범위에서 작은 범위로 이루어진다면 >>= 뒤에 (:) y ys 형태가 와서 우측이 (:) 최종 결과인 List b이므로
모나드가 List일 것으로 판단하였을 것이고 그래서 []와 IO가 맞지 않는다고 말하는 것으로 보입니다.
그런 후에 IO [a]가 아닌 [] b 형이긴 한데 b가 뭔지 사용자에게
알려주면 좋아할 것 같아 그 다음 작은 범위로 들어 가서 return (xs !! r)을 따져 보는데
return은 여기서 >>=의 분석의 영향으로 List의 것으로 판단할 것입니다.
그래서 return 함수의 결과는

 형이 되고 최종은 [[c]]이 되는데
여기서 끝내면 사용자가 c는 어디서 온 건지 의아해 하니까 더 따져 보는데 (xs !! r)이 a이니까 c == a가 되고
그래서 최종결과가 [[a]]가 되는 것으로 유추했을 것 같습니다. 물론 뒤의 t가 [[a]]가 아니므로 모순이 있지만 그 이전에 다른
모순을 발견하였고 t까지 볼 필요가 없었을 것입니다.
 
소스에서 마지막 t를 [t]로 바꿔 보십시오. 똑같은 메시지가 나옵니다.
 
추가:
(xs !! r)을 (3 :: Int)로 바꿔도 똑같이 [[a]]라고 나오는 것으로 보아 
최종 결과가 (:) y ys임으로부터 바로 [[a]]로 판단한 것 같네요.
(:) :: d -> List d -> List d
이므로
(>>=) :: List d -> (d -> List d) -> List d
로 판단하였을 것 같고
따라서 
return :: e -> List e
가 되는데 d가 [a]라고 어떻게 판단했을까요?
>>=의 앞을 [3]으로 바꿔 봐도 [[a]]라고 나오는 걸로 봐서 
IO [a]여야 하는데 : 연산이 있는 걸로 보아 그냥 IO 대신 List 모나드라고
판단한 것으로 보입니다. 생각보다 친절하지 않네요. 
[3] >>= \r ->
[3]
이렇게 써도 [[a]]라고 나옵니다.
 
또 추가:
앞의 형 선언을 없애면 또 다릅니다.
[3] >>= \r ->
[3]
라고 바꾸고 해도 넘어 갑니다. ㅎㅎ
그럼 rnd_select 형은 다음으로 결정됩니다.
rnd_select :: (Ord a, Num [t1], Num a) => t -> a -> [[t1]]