main = do
    quickCheck prop_myButLast
    quickCheck prop_myButLastRev
main = do
    quickCheck prop_myButLast
    quickCheck prop_myButLastRev
main = do
    quickCheck prop_myButLast
    quickCheck prop_myButLastRev