결과가 정수이지만 ghc가 확실하지 않은 경우 어떻게해야합니까?

Question

의 나는이 코드 조각이 있다고 가정 해 봅시다 : 하나 X 또는 그 후속도 같이

demo::Integer -> Integer 
demo x = x*(x+1)/2 

main = do print $ demo 8 

명확하게, 결과는 정수이다.
은 당연 컴파일러는 / 살펴보고

[1 of 1] Compiling Main    (debug.hs, debug.o) 

debug.hs:2:17: 
    No instance for (Fractional Integer) arising from a use of `/' 
    Possible fix: add an instance declaration for (Fractional Integer) 
    In the expression: x * (x + 1)/2 
    In an equation for `demo': demo x = x * (x + 1)/2 

를 말합니다하지만 내 지식 Integer는 Fractional의 일부가 아닙니다. Integer -> Integer 서명은 어떻게 보관할 수 있습니까?

Answer 1

함수는 Integer과 함께 사용할 수 없습니다. 고전적인 정수 나누기를 원하면 div을 대신 사용하십시오.