import Test.QuickCheck

myLength :: [a] -> Int
myLength [] = 0
myLength x = 1 + myLength (init x)

testMyLength :: [Int] -> Bool
testMyLength x = myLength x == length x

main = quickCheck testMyLength
