QuickChecks em Haskell

[Rubem Alves Figueredo 0]

Olá pessoal, estou novo (bem verdinho) aqui no Fórum e espero aprender bastante e contribuir bastante também com todos aqui.

Iniciando, e, como iniciante no paradigma funcional, gostaria de entender melhor como funciona o QuickCheck no haskell, como eu estabeleço ou crio as propriedades para testar os scripts.

Exemplo:

maiorDeTres::Int->Int->Int->Int

maiorDeTres a b c

    | a>=b && a>=c = a

    | b>=a && b>=c = b

    | otherwise = c

Qual é a lógica para se implementar as "prop_"s ? Desde já agradeço pela ajuda.